On Fri, 11 Jul 2025, Filip Kastl wrote:
Please let me know if there are additional configurations you would like me
to include in the testing.
Seems like work on smtgcc is going nicely. Good to hear!
Have you considered -Ofast or some subset of the flags it enables? Perhaps
that would uncov
On Tue 2025-07-01 20:06:18, Krister Walfridsson via Gcc wrote:
> I have continued working on my translation validator, smtgcc [1]. Here is an
> update of what I have done since the end-of-year update.
>
>
> smtgcc-tv-backend
> -
> The main focus has been improving the smtgcc-tv-ba
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
Krister Walfridsson via Gcc writes:
> I have continued working on my translation validator, smtgcc [1]. Here
> is an update of what I have done since the end-of-year update.
>
>
> smtgcc-tv-backend
> -
> The main focus has been improving the smtgcc-tv-backend tool which
> checks t
I have continued working on my translation validator, smtgcc [1]. Here is
an update of what I have done since the end-of-year update.
smtgcc-tv-backend
-
The main focus has been improving the smtgcc-tv-backend tool which checks
that the generated assembly is a refinement of the
