> IIRC, this latter requirement is particularly important for canadian
> crosses, but it applies as a general recommendation, and GNAT often
> takes advantage of that to use features that will be disregarded by
> stage1 (no optimization, no fatal warnings, limited runtime, etc), but
> that must be
Hello, Jan-Benedict,
On Jun 27, 2022, Jan-Benedict Glaw wrote:
> For me, this patch broke building a basic cross compiler using Debian
> sid's "gcc-snapshot" package as the build/host compiler
Thanks for reporting the problem you've encountered, and for your
interest.
AFAIK the general
Hi!
On Thu, 2022-05-12 12:40:09 +, Pierre-Marie de Rodat via Gcc-patches
wrote:
> GNAT does not issue a warning anymore on a postcondition of True (used
> here to prevent inining inside GNATprove for proof).
>
> Tested on x86_64-pc-linux-gnu, committed on trunk
>
> gcc/ada/
>
> *
GNAT does not issue a warning anymore on a postcondition of True (used
here to prevent inining inside GNATprove for proof).
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* libgnat/s-valuei.ads: Remove pragma Warnings Off.
* libgnat/s-valueu.ads: Same.
*
