[clang] Thread Safety Analysis: Support reentrant capabilities (PR #137133)

[Aaron Puchert via cfe-commits]

================
@@ -81,26 +81,25 @@ static bool isCalleeArrow(const Expr *E) {
   return ME ? ME->isArrow() : false;
 }
 
-static StringRef ClassifyDiagnostic(const CapabilityAttr *A) {
-  return A->getName();
-}
-
-static StringRef ClassifyDiagnostic(QualType VDT) {
+static CapabilityExpr makeCapabilityExpr(const til::SExpr *E, QualType VDT,
----------------
aaronpuchert wrote:

Same as for `createThisPlaceholder`: at this point we don't know if we have a 
capability yet. Probably better to produce a `pair<StringRef, bool>`.

https://github.com/llvm/llvm-project/pull/137133
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits