Searched refs:assumeSymRel (Results 1 - 2 of 2) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp39 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS());
64 return assumeSymRel(State, Subtraction, Op, Zero);
119 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, function in class:clang::ento::RangedConstraintManager
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h162 virtual ProgramStateRef assumeSymRel(ProgramStateRef State, SymbolRef Sym,

Completed in 67 milliseconds