From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!news.szaf.org!news.enyo.de!.POSTED!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Can anyone help with GNAT.Perfect_Hash_Generators ? (Possible
 memory corruption)
Date: Tue, 06 Sep 2016 21:44:41 +0200
Message-ID: <87bn0024pi.fsf@mid.deneb.enyo.de>
References: <slrnnsot2o.1cq.lithiumcat@nat.rebma.instinctive.eu>
	<397dd8cb-2afc-43cd-972d-3b1a5a90cd5d@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: news.enyo.de 1473191081 31759 192.168.18.20 (6 Sep 2016 19:44:41 GMT)
X-Complaints-To: news@enyo.de
Cancel-Lock: sha1:A1zmc2wzn9Lv8BDX/KvNNPN8wco=
Xref: news.eternal-september.org comp.lang.ada:31711
Date: 2016-09-06T21:44:41+02:00
List-Id: <comp.lang.ada>

* Stephen Leake:

> However, some of the GNAT packages are implemented in C, so they don't
> have that level of protection.

I think the Ada parts are still compiled with -gnatpg, and:

  --  Overflow checks are on by default (Suppress set False) except in
  --  GNAT_Mode, where we want them off by default (we are not ready to
  --  enable overflow checks in the compiler yet, for one thing the case
  --  of 64-bit checks needs System.Arith_64 which is not a compiler
  --  unit and it is a pain to try to include it in the compiler.
  
  Suppress_Options.Suppress (Overflow_Check) := GNAT_Mode;