Searched defs:ConditionTruthVal (Results 1 - 1 of 1) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ | ||
| H A D | ConstraintManager.h | 30 class ConditionTruthVal { class in namespace:clang::ento 33 /// Construct a ConditionTruthVal indicating the constraint is constrained 35 ConditionTruthVal(bool constraint) : Val(constraint) {} function in class:clang::ento::ConditionTruthVal 38 ConditionTruthVal() {} function in class:clang::ento::ConditionTruthVal 124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) { 148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym); |
Completed in 34 milliseconds