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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c35edbbda4c7f58f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: How to switch off those damm warnings about unknows pragma Date: Mon, 13 Dec 2004 15:07:15 +0000 Message-ID: <325ph3F3hb7mdU1@individual.net> References: <419b5ff6$0$25329$9b4e6d93@newsread2.arcor-online.net> <1639937.gfTbZPTudf@linux1.krischik.com> <41bb8e13$0$19258$626a14ce@news.free.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: individual.net G3CMxcoCZJk1IlSltdC0pAqiFslLDuIZQEeOaVqFWwW8U3lHI= User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: <41bb8e13$0$19258$626a14ce@news.free.fr> Xref: g2news1.google.com comp.lang.ada:6916 Date: 2004-12-13T15:07:15+00:00 List-Id: Lionel Draghi wrote: [snip] > > But even before adding a new pragma to the language, I asked to myself > why compiler vendors don't provide a compile option to ignore a > (precise) list of pragmas. I suppose it's a simple change in compilers > code. Doesn't help you with compilers, but the "precise list of pragmas to be ignored" is exactly the mechanism we use in the SPARK Examiner. We chose this route because the Examiner must work with all compilers and we are very keen to keep the signal to noise ratio of our analysis as high as possible. >[snip] Peter