================
@@ -9293,7 +9344,10 @@ bool LValueExprEvaluator::VisitArraySubscriptExpr(const
ArraySubscriptExpr *E) {
}
bool LValueExprEvaluator::VisitUnaryDeref(const UnaryOperator *E) {
- return evaluatePointer(E->getSubExpr(), Result);
+ bool Success = evaluatePointer(E->getSubExpr(), Result);
+ return Success &&
+ (!E->getType().getNonReferenceType()->isObjectType() ||
----------------
shafik wrote:
Can you add a comment explaining this additional check added after the
`Success` check.
https://github.com/llvm/llvm-project/pull/143667
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
