HomeSort by relevance Sort by last modified time
    Searched defs:Assumption (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h 99 const bool Assumption;
103 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
104 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
  /external/clang/lib/StaticAnalyzer/Checkers/
IdempotentOperationChecker.cpp 77 // Our assumption about a particular operation.
78 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
81 static void UpdateAssumption(Assumption &A, const Assumption &New);
99 BinaryOperatorData() : assumption(Possible) {}
101 Assumption assumption; member in struct:__anon4526::IdempotentOperationChecker::BinaryOperatorData
118 Assumption &A = Data.assumption;
351 const Assumption &A = Data.assumption
    [all...]

Completed in 406 milliseconds