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
