================
@@ -597,7 +597,8 @@ class Sema;
   public:
     void init(FailureKind K, Expr *From, QualType To) {
       init(K, From->getType(), To);
-      FromExpr = From;
+      if (!isa<OpaqueValueExpr>(From))
+        FromExpr = From;
----------------
ojhunt wrote:

So the idea is that if this is an OVE we won't track them after the init has 
occurred, so the UaF problem is mitigated?

Can we add a comment to state that that is what we're doing here - from a 
reader's pov there's nothing indicating why this is happening.

https://github.com/llvm/llvm-project/pull/238243
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to