On Fri, Nov 20, 2020 at 02:54:34PM -0700, Martin Sebor wrote:
> At the point the attribute is created there is no SAVE_EXPR. So for
> something like:
>
> int f (void);
> void g (int a[f () + 1]) { }
>
> the bound is a PLUS_EXPR (CALL_EXPR (f), 1).
>
> I don't do anything with the expression except put them on the chain
> of arguments to the two attributes and print them in warnings.
So that likely means you are doing it too early.
Jakub
