================
@@ -4556,7 +4566,7 @@ static CompleteObject findCompleteObject(EvalInfo &Info, 
const Expr *E,
         NoteLValueLocation(Info, LVal.Base);
         return CompleteObject();
       }
-    } else {
+    } else if (AK != clang::AK_Dereference) {
----------------
cor3ntin wrote:

Correct, in the dereference case, the object needs to be valid

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

Reply via email to