[analyzer] Add missing expected-warning after #151908

steakhal · steakhal · commit 6c9f1ce42980 · 2025-08-05T17:28:49.000+02:00
diff --git a/clang/test/Analysis/cxx23-assume-attribute.cpp b/clang/test/Analysis/cxx23-assume-attribute.cpp
@@ -73,4 +73,5 @@ int assume_and_fallthrough_at_the_same_attrstmt(int a, int b) {
 void assume_opaque_gh151854_no_crash() {
   extern bool opaque();
   [[assume(opaque())]]; // no-crash
+  // expected-warning@-1 {{assumption is ignored because it contains (potential) side-effects}}
 }

Original file line number	Diff line number	Diff line change
`@@ -73,4 +73,5 @@ int assume_and_fallthrough_at_the_same_attrstmt(int a, int b) {`
`73`	`73`	`void assume_opaque_gh151854_no_crash() {`
`74`	`74`	`extern bool opaque();`
`75`	`75`	`[[assume(opaque())]]; // no-crash`
	`76`	`+ // expected-warning@-1 {{assumption is ignored because it contains (potential) side-effects}}`
`76`	`77`	`}`