[clang] 9daab7f - [ExprConstant] fix ICE from Evaluate on _Atomic structs
Nick Desaulniers via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 8 13:20:32 PDT 2023
Author: Nick Desaulniers
Date: 2023-06-08T13:20:24-07:00
New Revision: 9daab7fb02d2a7340dbc78d15d248ef9aaf1214c
URL: https://github.com/llvm/llvm-project/commit/9daab7fb02d2a7340dbc78d15d248ef9aaf1214c
DIFF: https://github.com/llvm/llvm-project/commit/9daab7fb02d2a7340dbc78d15d248ef9aaf1214c.diff
LOG: [ExprConstant] fix ICE from Evaluate on _Atomic structs
Fixes two crashes reported by @efriedma and @ahatanak, as per
@ahatanak's analysis.
Link: https://reviews.llvm.org/D151587#4397446
Link: https://reviews.llvm.org/D151587#4399684
Reviewed By: ahatanak, aaron.ballman
Differential Revision: https://reviews.llvm.org/D152303
Added:
Modified:
clang/docs/ReleaseNotes.rst
clang/lib/AST/ExprConstant.cpp
clang/test/CodeGenCXX/atomicinit.cpp
Removed:
################################################################################
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
index 85573dc7f466b..0ae2be88e7a42 100644
--- a/clang/docs/ReleaseNotes.rst
+++ b/clang/docs/ReleaseNotes.rst
@@ -488,6 +488,8 @@ Bug Fixes in This Version
(`#63010 <https://github.com/llvm/llvm-project/issues/63010>`_).
- Fix rejects-valid when consteval operator appears inside of a template.
(`#62886 <https://github.com/llvm/llvm-project/issues/62886>`_).
+- Fix crash for code using ``_Atomic`` types in C++
+ (`See patch <https://reviews.llvm.org/D152303>`_).
Bug Fixes to Compiler Builtins
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/clang/lib/AST/ExprConstant.cpp b/clang/lib/AST/ExprConstant.cpp
index 115460f9b1bf0..b88b84a44af0e 100644
--- a/clang/lib/AST/ExprConstant.cpp
+++ b/clang/lib/AST/ExprConstant.cpp
@@ -15064,6 +15064,7 @@ static bool Evaluate(APValue &Result, EvalInfo &Info, const Expr *E) {
E, Unqual, ScopeKind::FullExpression, LV);
if (!EvaluateAtomic(E, &LV, Value, Info))
return false;
+ Result = Value;
} else {
if (!EvaluateAtomic(E, nullptr, Result, Info))
return false;
diff --git a/clang/test/CodeGenCXX/atomicinit.cpp b/clang/test/CodeGenCXX/atomicinit.cpp
index 275710975e078..f2398b020621f 100644
--- a/clang/test/CodeGenCXX/atomicinit.cpp
+++ b/clang/test/CodeGenCXX/atomicinit.cpp
@@ -8,6 +8,10 @@ AtomicInt PR22043 = AtomicInt();
// CHECK-DAG: @_ZN7PR180978constant1bE ={{.*}} local_unnamed_addr global { i16, i8 } { i16 2, i8 6 }, align 4
// CHECK-DAG: @_ZN7PR180978constant1cE ={{.*}} local_unnamed_addr global { i16, i8 } { i16 3, i8 6 }, align 4
// CHECK-DAG: @_ZN7PR180978constant1yE ={{.*}} local_unnamed_addr global { { i16, i8 }, i32 } { { i16, i8 } { i16 4, i8 6 }, i32 5 }, align 4
+// CHECK-DAG: @_ZN7PR180978constant1zE ={{.*}} global i32 0, align 4
+// CHECK-DAG: @_ZN7PR180978constant2y2E ={{.*}} global %"struct.PR18097::constant::Y" zeroinitializer
+// CHECK-DAG: @_ZN7PR180978constant1gE ={{.*}} global %"struct.PR18097::constant::Struct0" zeroinitializer
+// CHECK-DAG: @_ZN7PR180978constantL1xE = internal {{.*}} constant { i16, i8 } { i16 1, i8 6 }
struct A {
_Atomic(int) i;
@@ -102,5 +106,23 @@ namespace PR18097 {
_Atomic(int) b;
};
Y y = { X(4), 5 };
+
+ // CHECK-LABEL: define {{.*}} @__cxx_global_var_init
+ // CHECK: tail call void @llvm.memcpy.p0.p0.i32(ptr{{.*}} @_ZN7PR180978constant2y2E, ptr{{.*}} @_ZN7PR180978constantL1xE, i32 3, i1 false)
+ // CHECK: %0 = load i32, ptr @_ZN7PR180978constant1zE
+ // CHECK: store i32 %0, ptr getelementptr inbounds (%"struct.PR18097::constant::Y", ptr @_ZN7PR180978constant2y2E, i32 0, i32 1)
+ int z;
+ constexpr X x{1};
+ Y y2 = { x, z };
+
+ typedef union {
+ unsigned int f0;
+ } Union0;
+
+ typedef struct {
+ _Atomic(Union0) f1;
+ } Struct0;
+
+ Struct0 g = {};
}
}
More information about the cfe-commits
mailing list