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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp118 SVal Constraint_untested = evalBinOp(state, BO_GT, V, local
123 Constraint_untested.getAs<DefinedOrUnknownSVal>();

Completed in 108 milliseconds