> On Tue, 11 Mar 2014 17:41:57 +0000 > Brian Drummond <[email protected]> wrote: > > > While it's true (and annoying as hell) that Gnat by default > > doesn't have some of the LRM checks turned on, if ghdl is > > built using its supplied makefiles, you can be sure that the > > build flags include these checks and more. > > > > Sorry to press the issue, but in the repository I see: > > $ grep -R "\-gnato" * > > ortho/debug/Makefile:ALL_GNAT_FLAGS=-pipe -g -gnato -gnatwl > - -gnatf -gnaty3befhkmr -gnatwu > > But after: > > $ ./dist.sh sources > > There is no mention of -gnato in the Makefiles. > > Did I miss something?
Yes. -gnato has no effects on generated code. There are very few parts that need overflow checking in ghdl (the evaluation of constants) and this is achieved by pragma Unsuppress. Regards, Tristan. _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
