apply suggestions

Author: el-ev

clang/docs/ReleaseNotes.rst

@@ -148,8 +148,6 @@ Bug Fixes to Attribute Support
 
 - ``[[nodiscard]]`` is now respected on Objective-C and Objective-C++ methods.
   (#GH141504)
-- Fixed a crash in the static analyzer that when the expression in an 
-  ``[[assume(expr)]]`` attribute was enclosed in parentheses.  (#GH151529)
 
 Bug Fixes to C++ Support
 ^^^^^^^^^^^^^^^^^^^^^^^^
@@ -249,6 +247,8 @@ New features
 
 Crash and bug fixes
 ^^^^^^^^^^^^^^^^^^^
+- Fixed a crash in the static analyzer that when the expression in an 
+  ``[[assume(expr)]]`` attribute was enclosed in parentheses.  (#GH151529)
 
 Improvements
 ^^^^^^^^^^^^

clang/test/Analysis/builtin_assume.cpp

@@ -62,3 +62,14 @@ int using_builtin_assume_has_no_sideeffects(int y) {
 
   return y;
 }
+
+template <int ...args>
+bool issue151529() {
+  [[assume((true))]]; // no-crash
+  [[assume(((args >= 0) && ...))]]; // no-crash
+  return ((args >= 0) && ...);
+}
+
+void instantiate_issue151529() {
+  issue151529<0>();
+}