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

/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp27 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); local
28 if (SymVal && SymVal->isExpression()) {
29 const SymExpr *SE = SymVal->getSymbol();
H A DExprEngineC.cpp939 DefinedOrUnknownSVal SymVal = local
942 Result = SymVal;
954 Constraint = svalBuilder.evalEQ(state, SymVal,

Completed in 341 milliseconds