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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp65 SVal AssertionVal = State->getSVal(Assertion, LC); local
67 if (AssertionVal.isUndef())
72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());

Completed in 199 milliseconds