HomeSort by relevance Sort by last modified time
    Searched refs:canReasonAbout (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 26 bool SimpleConstraintManager::canReasonAbout(SVal X) const {
120 if (!canReasonAbout(Cond)) {
201 if (!canReasonAbout(Value)) {
SimpleConstraintManager.h 106 bool canReasonAbout(SVal X) const override;
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 168 /// canReasonAbout - Not all ConstraintManagers can accurately reason about
173 virtual bool canReasonAbout(SVal X) const = 0;

Completed in 73 milliseconds