Hello,
On Mon, Nov 10 2025, David Malcolm wrote:
> On Sat, 2025-11-08 at 00:12 +0100, Martin Jambor wrote:
>
> [...snip...]
>
>> diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp-from-cst-agg-3.c
>> b/gcc/testsuite/gcc.dg/tree-ssa/vrp-from-cst-agg-3.c
>> new file mode 100644
>> index 00000000000..d45928e0a25
>> --- /dev/null
>> +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp-from-cst-agg-3.c
>> @@ -0,0 +1,30 @@
>> +/* { dg-do link } */
>> +/* { dg-options "-O2" } */
>> +
>> +volatile int gi;
>> +
>> +static const int values[3] = {5, 7, 11};
>> +
>> +void link_error (void);
>> +
>> +[[gnu::noinline]] void foo (int index)
>> +{
>> + const int v = values[index];
>> + if (v <= 2
>> + || v > 666)
>
> Possibly a silly question, but why "666" here?
I happened to be listening to Iron Maiden quite a lot when writing the
patch.
> Isn't 11 a tighter
> bound, based on the values above? (and thus a stronger test case)
So I actually wanted to select a bound that would not be the tightest,
that looked like a more "arbitrary" and thus "stronger" test case to me.
But in reality I cannot see how it could really matter one way or
another.
In any event, I can change it to - I don't know - 17 if you or anyone
thinks such cultural references are unwanted.
Martin
