reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Overridden By

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h

  245   bool canReasonAbout(SVal X) const override {

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

  336 bool RangeConstraintManager::canReasonAbout(SVal X) const {

References

tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp

   58   if (!canReasonAbout(Cond)) {
  102   if (!canReasonAbout(Value)) {