[Bug c/127044] Warning for __attribute__((assume(statement))) when -Wdeclaration-after-statement used

[k2k at drgrin dot dev via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127044

--- Comment #7 from Evgeny Grin <k2k at drgrin dot dev> ---
The docs:
"Statement Attributes", assume:

  The assume attribute with a null statement serves as portable
  assumption.

I do not see any "declaration" here.