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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h465 void markInfeasible(bool branch) { function in class:clang::ento::BranchNodeBuilder
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1140 TempDtorBuilder.markInfeasible(false);
1143 TempDtorBuilder.markInfeasible(true);
2115 NullCondBldr.markInfeasible(false);
2179 builder.markInfeasible(true);
2187 builder.markInfeasible(false);
2217 builder.markInfeasible(!initHasRun);

Completed in 93 milliseconds