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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp3003 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); local
3004 if (SEV && SEV->isExpression()) {
3009 std::tie(StateTrue, StateFalse) = state->assume(*SEV);

Completed in 57 milliseconds