Searched refs:assumeSymUnsupported (Results 1 - 5 of 5) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 69 virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef State,
|
| H A D | RangedConstraintManager.h | 157 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
|
| H A D | SMTConstraintManager.h | 70 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym,
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 28 return assumeSymUnsupported(State, Sym, Assumption);
70 return assumeSymUnsupported(State, Sym, Assumption);
102 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, function in class:clang::ento::RangedConstraintManager
|
| H A D | SimpleConstraintManager.cpp | 62 return assumeSymUnsupported(State, Sym, Assumption);
|
Completed in 180 milliseconds