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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp1992 Optional<nonloc::SymbolVal> SEV = V.getAs<nonloc::SymbolVal>(); local
1993 if (SEV && SEV->isExpression()) {
1998 tie(StateTrue, StateFalse) = state->assume(*SEV);
/external/llvm/test/MC/ARM/
H A Dbasic-arm-instructions.s1747 @ SEV
H A Dbasic-thumb2-instructions.s1975 @ SEV

Completed in 1554 milliseconds