================
@@ -0,0 +1,47 @@
+// RUN: %clang_cc1 -fsyntax-only -fcxx-exceptions -Wlifetime-safety
-Wno-dangling -verify %s
+
+void throw_branches(bool cond, int *value) {
+ (void)(cond ? throw 1 : value);
+ (void)(cond ? throw 1 : throw 2);
+}
+
+void nested_throw_branches(bool cond, bool cond2, int *value) {
+ (void)(cond ? (cond2 ? throw 1 : value) : throw 2);
+ (void)(cond ? throw 1 : (cond2 ? value : throw 2));
+}
+
+int *f(int *p [[clang::lifetimebound]]);
+[[noreturn]] int *noret_f(int *p [[clang::lifetimebound]]);
+
+
+constexpr bool kTrue = true;
+constexpr bool kFalse = false;
+
+int *constexpr_dead_false(int *num) {
+ int local = 0;
+ return kTrue ? num : f(&local);
+}
+
+int *constexpr_dead_nested(int *num) {
+ int local = 0;
+ return kTrue ? (kTrue ? num : f(&local)) : num;
+}
+
+int *constexpr_live_false(int *num) {
+ int local = 0;
+ return kFalse ? num : f(&local); // expected-warning {{address of stack
memory is returned later}} // expected-note {{returned here}}
+}
+
+int *constexpr_live_nested(int *num) {
+ int local = 0;
+ return kTrue ? (kFalse ? num : f(&local)) : num; } // expected-warning
{{address of stack memory is returned later}} // expected-note {{returned here}}
----------------
NeKon69 wrote:
Hmmm, formatting is weird here
https://github.com/llvm/llvm-project/pull/190345
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
