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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2083 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); local
2084 if (SEV && SEV->isExpression()) {
2089 tie(StateTrue, StateFalse) = state->assume(*SEV);

Completed in 113 milliseconds