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

References

tools/clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h
  281   const til::SExpr* sexpr() const { return CapExpr; }
  285     return CapabilityExpr(CapExpr, !Negated);
  289     return (Negated == other.Negated) && sx::equals(CapExpr, other.CapExpr);
  289     return (Negated == other.Negated) && sx::equals(CapExpr, other.CapExpr);
  293     return (Negated == other.Negated) && sx::matches(CapExpr, other.CapExpr);
  293     return (Negated == other.Negated) && sx::matches(CapExpr, other.CapExpr);
  302             sx::partiallyMatches(CapExpr, other.CapExpr);
  302             sx::partiallyMatches(CapExpr, other.CapExpr);
  306     if (Negated || CapExpr == nullptr)
  308     if (const auto *P = dyn_cast<til::Project>(CapExpr))
  310     if (const auto *P = dyn_cast<til::LiteralPtr>(CapExpr))
  317       return "!" + sx::toString(CapExpr);
  318     return sx::toString(CapExpr);
  321   bool shouldIgnore() const { return CapExpr == nullptr; }