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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp121 SVal Constraint_untested = evalBinOp(state, BO_GT, V, local
126 Constraint_untested.getAs<DefinedOrUnknownSVal>();

Completed in 256 milliseconds