@@ -3570,7 +3570,7 @@ gimplify_call_expr (tree *expr_p, gimple
return GS_OK;
}
/* If not optimizing, ignore the assumptions. */
- if (!optimize)
+ if (!optimize || seen_error ())
{
*expr_p = NULL_TREE;
return GS_ALL_DONE;
@@ -0,0 +1,12 @@
+/* PR tree-optimization/107369 */
+/* { dg-do compile } */
+/* { dg-options "-std=c2x -O1" } */
+
+void
+foo (int x)
+{
+ if (x == 1)
+ goto l1; /* { dg-error "jump into statement expression" } */
+
+ [[gnu::assume (({ l1:; 1; }))]]; /* { dg-message "label 'l1' defined here" } */
+}
@@ -0,0 +1,12 @@
+// PR tree-optimization/107369
+// { dg-do compile { target c++11 } }
+// { dg-options "-O1" }
+
+void
+foo (int x)
+{
+ if (x == 1)
+ goto l1; // { dg-message "from here" }
+
+ [[assume (({ l1:; 1; }))]]; // { dg-error "jump to label 'l1'" }
+} // { dg-message "enters statement expression" "" { target *-*-* } .-1 }