To me, it would be a better design if -ftrapv was actually the default.
On Saturday, January 30, 2021 at 7:57:19 PM UTC-5 Elronnd _ wrote: > On Sat, 30 Jan 2021, gmhwxi wrote: > > > But this is kind of like punting the problem to the user :( > > The compiler should really generate code that raises an exception > > (just like in the case of 1/0). > > You can do that with -ftrapv. > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d5ef1f58-8af9-40d6-895f-90e1947702f4n%40googlegroups.com.