From 27d504998ec7ec596bc9ff5d16333aea7a1bac18 Mon Sep 17 00:00:00 2001
From: martinboehme <mboehme@google.com>
Date: Mon, 18 Mar 2024 13:36:20 +0100
Subject: [clang][dataflow] Fix `getResultObjectLocation()` on
 `CXXDefaultArgExpr`. (#85072)

This patch includes a test that causes an assertion failure without the
other
changes in this patch.
---
 clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp')

diff --git a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
index 1d2bd9a..cc1ebd5 100644
--- a/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
+++ b/clang/lib/Analysis/FlowSensitive/DataflowEnvironment.cpp
@@ -771,6 +771,7 @@ static bool isOriginalRecordConstructor(const Expr &RecordPRValue) {
     return !Init->isSemanticForm() || !Init->isTransparent();
   return isa<CXXConstructExpr>(RecordPRValue) || isa<CallExpr>(RecordPRValue) ||
          isa<LambdaExpr>(RecordPRValue) ||
+         isa<CXXDefaultArgExpr>(RecordPRValue) ||
          isa<CXXDefaultInitExpr>(RecordPRValue) ||
          // The framework currently does not propagate the objects created in
          // the two branches of a `ConditionalOperator` because there is no way
-- 
cgit v1.1