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 132 const bool Assumption;
136 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
137 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
  /external/clang/lib/StaticAnalyzer/Checkers/
IdempotentOperationChecker.cpp 79 // Our assumption about a particular operation.
80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
83 static void UpdateAssumption(Assumption &A, const Assumption &New);
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption; member in struct:__anon5995::IdempotentOperationChecker::BinaryOperatorData
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption
    [all...]

Completed in 32 milliseconds