[analyzer] Add missing expected-warning after llvm#151908

steakhal · ronlieb · commit 7da722a9ec67 · 2025-08-05T17:43:09.000-05: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`	`}`