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: 103376,16222f725bc81dfe X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Optimizing with gnat Date: 1996/07/05 Message-ID: #1/1 X-Deja-AN: 164182037 references: organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-07-05T00:00:00+00:00 List-Id: iRegarding Fernando's question regarding a mysterious error message from the use of -gnatp to suppress checks. This is most certainly a GNAT bug, since there is no legitimate circumstance in which use of the -gnatp switch can cause an error message. So if that happens you have found a bug (it comes from expanded code undoubtedly, you can probably see what is happenning if you use the -gnatdg switch to expand the generated code). Anyway, what do you do when you find a GNAT bug? YOU SEND IT TO report@gnat.com! At least that's what you do if you want the folks who know most about GNAT to look at it :-) I also note that 3.03 is two versions out of date now, so it is possible that this bug is already fixed in the latest released version. Anyway, if you find a GNAT bug, or if you just have some mystery like this where you are not sure if it is a bug or not, please send it along to report@gnat.com. If you are an unsupported user, we can't promise any immediate response, but all bugs get looked at eventually, and sometimes we can indeed provide an immediate answer pointing out something that you have done wrong. Robert Dewar Ada Core Technologies