smtgcc mid-year update

[Krister Walfridsson]

On Wed, 2 Jul 2025, Sam James wrote:

>> Please let me know if there are additional configurations you would
>> like me to include in the testing.
>>
>
> We sometimes get interesting bugs, especially with UBSAN
> (-fsanitize=undefined), with SAVE_EXPR. PR120471 is one example and
> PR120837 is another.
>
> These two are FE issues though, so may not really be applicable.
>
> It might be interesting to try -fhardened occasionally (which wraps up
> several options that distributions build with).
>
> I think anything that introduces instrumentation (so -fprofile-generate
> may be another candidate, or in a sense, -fnon-call-exceptions) could be
> interesting.

I'll add this to my testing! But it may take a few weeks, as all of these 
flags emit builtins and internal functions that smtgcc does not support 
yet...

    /Krister