Searched defs:assumeInclusiveRange (Results 1 - 2 of 2) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ | ||
| H A D | SimpleConstraintManager.cpp | 94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange( function in class:clang::ento::SimpleConstraintManager |
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | ProgramState.h | 677 inline ProgramStateRef ProgramState::assumeInclusiveRange( function in class:clang::ento::ProgramState 690 ProgramState::assumeInclusiveRange(DefinedOrUnknownSVal Val, function in class:clang::ento::ProgramState |
Completed in 76 milliseconds