Merge commit '0a1eff2ecedc' from llvm.org/main into next

git apple-llvm automerger · git apple-llvm automerger · commit 276b23a98688 · 2025-08-05T17:03:53.000+02:00
diff --git a/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp b/clang/lib/StaticAnalyzer/Checkers/AssumeModeling.cpp
@@ -45,7 +45,6 @@ void AssumeModelingChecker::checkPostStmt(const AttributedStmt *A,
       continue;
 
     const auto *Assumption = AssumptionVal.getAsInteger();
-    assert(Assumption && "We should know the exact outcome of an assume expr");
     if (Assumption && Assumption->isZero()) {
       C.addSink();
     }
diff --git a/clang/test/Analysis/cxx23-assume-attribute.cpp b/clang/test/Analysis/cxx23-assume-attribute.cpp
@@ -69,3 +69,8 @@ int assume_and_fallthrough_at_the_same_attrstmt(int a, int b) {
 
   return 0;
 }
+
+void assume_opaque_gh151854_no_crash() {
+  extern bool opaque();
+  [[assume(opaque())]]; // no-crash
+}

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,6 @@ void AssumeModelingChecker::checkPostStmt(const AttributedStmt *A,`
`45`	`45`	`continue;`
`46`	`46`
`47`	`47`	`const auto *Assumption = AssumptionVal.getAsInteger();`
`48`		`- assert(Assumption && "We should know the exact outcome of an assume expr");`
`49`	`48`	`if (Assumption && Assumption->isZero()) {`
`50`	`49`	`C.addSink();`
`51`	`50`	`}`
Original file line number	Diff line number	Diff line change
`@@ -69,3 +69,8 @@ int assume_and_fallthrough_at_the_same_attrstmt(int a, int b) {`
`69`	`69`
`70`	`70`	`return 0;`
`71`	`71`	`}`
	`72`	`+`
	`73`	`+void assume_opaque_gh151854_no_crash() {`
	`74`	`+ extern bool opaque();`
	`75`	`+ [[assume(opaque())]]; // no-crash`
	`76`	`+}`