Home
last modified time | relevance | path

Searched refs:RTR_Above (Results 1 – 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp177 case APSIntType::RTR_Above: in pin()
196 case APSIntType::RTR_Above: in pin()
203 case APSIntType::RTR_Above: in pin()
213 case APSIntType::RTR_Above: in pin()
464 case APSIntType::RTR_Above: in assumeSymLT()
493 case APSIntType::RTR_Above: in assumeSymGT()
522 case APSIntType::RTR_Above: in assumeSymGE()
551 case APSIntType::RTR_Above: in assumeSymLE()
DAPSIntType.cpp48 return RTR_Above; in testInRange()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DAPSIntType.h80 RTR_Above = 1 ///< Value is greater than the maximum representable value. enumerator