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!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.57.102.173.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: Should exceeding the range of Integer wrap around a la C?
Date: Mon, 21 May 2018 17:27:40 +0200
Organization: JSA Research & Innovation
Message-ID: <87603hrpub.fsf@jacob-sparre.dk>
References: <7ba47ec1-28e7-43e1-83a0-2a4d2cf0fd92@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.57.102.173.mobile.3.dk:109.57.102.173";
	logging-data="14683"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:duU1BlFou2CR5wurCdS3j6c/xq0=
Xref: reader02.eternal-september.org comp.lang.ada:52544
Date: 2018-05-21T17:27:40+02:00
List-Id: <comp.lang.ada>

nrs5134@gmail.com writes:

> I am compiling with GNAT 4.9.2 on a Debian Linux system using `gnat
> make compute` with no further compiler flags. Are my expectations
> wrong, or is this incorrect behavior?

`gnat make` is not an Ada compiler without some flags added.  From one
of my project files:

   package Compiler is
      for Default_Switches ("Ada")
        use ("-fstack-check", --  Generate stack checking code (part of Ada)
             "-gnata",        --  Enable assertions            (part of Ada)
             "-gnato13",      --  Overflow checking            (part of Ada)
             "-gnatf",                      --  Full, verbose error messages
             "-gnatwa",                     --  All optional warnings
             "-gnatVa",                     --  All validity checks
             "-gnaty3abcdefhiklmnoOprstux", --  Style checks
             "-gnatwe",                     --  Treat warnings as errors
             "-gnat2012",                   --  Use Ada 2012
             "-Wall",                       --  All GCC warnings
             "-O2");                        --  Optimise (level 2/3)
   end Compiler;

Greetings,

Jacob
-- 
Photo of the day (RSS feed):
         http://billeder.sparre-andersen.dk/dagens/feed.rss2