================
@@ -2418,3 +2418,58 @@ void owner_outlives_lifetimebound_source() {
}
} // namespace track_origins_for_lifetimebound_record_type
+
+namespace conditional_operator_control_flow {
+// https://github.com/llvm/llvm-project/issues/183895
+
+#ifdef __cpp_exceptions
+
+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));
+}
+
+#endif
+
+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;
+}
----------------
NeKon69 wrote:
Should I just set it to `true`?
https://github.com/llvm/llvm-project/pull/190345
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
