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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10a146,fee8802cc3d8334d X-Google-Attributes: gid10a146,public X-Google-Thread: 103376,fee8802cc3d8334d X-Google-Attributes: gid103376,public From: jerry@jvdsys.stuyts.nl Subject: Re: Ada and Java. different behaviour. casting long to int problem. Date: 1999/06/12 Message-ID: #1/1 X-Deja-AN: 488807983 Sender: jerry@stuyts.nl (Jerry van Dijk) References: <7jt2c0$vrb@drn.newsguy.com> <7jt69l$143f@drn.newsguy.com> Organization: * JerryWare HQ *, Leiden, Holland User-Agent: tin/pre-1.4-980226 (UNIX) (Linux/2.2.9 (i586)) Newsgroups: comp.lang.ada,comp.lang.java.programmer Date: 1999-06-12T00:00:00+00:00 List-Id: nabbasi@pacbell.net.NOSPAM wrote: : This is a modified Ada program, that shows Ada did not detect at : run-time the overflow (I think may be I am not using the correct : GNAT flag to enable run-time chekcing? I need to check more on this) The super-secret GNAT documentation will tell you that this is a very expensive check to perform, so it is by default disabled. Use the -gnato flag to enable it. Personally I always compile with '-g -gnato' unless there is a good reason not to. -- -- Jerry van Dijk | Leiden, Holland -- Team Ada | jdijk@acm.org -- see http://stad.dsl.nl/~jvandyk