Home
last modified time | relevance | path

Searched defs:RangeConstraintManager (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp294 class RangeConstraintManager : public SimpleConstraintManager{ class
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() function in __anon4bd79ea30211::RangeConstraintManager