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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h54 return assumeExpr(
58 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp));
66 return assumeExpr(
296 virtual ProgramStateRef assumeExpr(ProgramStateRef State, SymbolRef Sym, function in class:clang::ento::SMTConstraintManager

Completed in 103 milliseconds