Searched defs:assumeSymRel (Results 1 – 2 of 2) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ | ||
| D | RangedConstraintManager.cpp | 139 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, in assumeSymRel() function in clang::ento::RangedConstraintManager |
| /external/clang/lib/StaticAnalyzer/Core/ | ||
| D | SimpleConstraintManager.cpp | 246 ProgramStateRef SimpleConstraintManager::assumeSymRel(ProgramStateRef state, in assumeSymRel() function in clang::ento::SimpleConstraintManager |