On Tue, 2014-03-11 at 13:33 -0400, Adam Jensen wrote:
> On Sun, 26 Jan 2014 20:52:29 -0500 (EST)
> Brian Davis <[email protected]> wrote:
> 
> > As a quick sanity check, I checked the patched ghdl-mcode
> > against an integer divide-by-zero, instead of an index range
> > out-of-bounds.

> I don't think I actually understand the issue being discussed
> in this thread but could the problem be that your Ada compiler
> isn't including overflow checking code?

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.

- Brian




_______________________________________________
Ghdl-discuss mailing list
[email protected]
https://mail.gna.org/listinfo/ghdl-discuss

Reply via email to