This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

[Ada] Add optional argument for tool name to pragma Warnings

From: Arnaud Charlet <charlet at adacore dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Yannick Moy <moy at adacore dot com>
Date: Thu, 5 Feb 2015 08:51:51 -0500
Subject: [Ada] Add optional argument for tool name to pragma Warnings
Authentication-results: sourceware.org; auth=none

Users of GNATprove can now specify pragma Warnings for GNAT and GNATprove
separately, to selectively disable warnings from the compiler or the
formal verification tool. This also allows detecting useless pragma
Warnings with switch -gnatw.w

Tested on x86_64-pc-linux-gnu, committed on trunk

2015-02-05  Yannick Moy  <moy@adacore.com>

	* par-prag.adb (Pragma_Warnings): Update for extended form
	of pragma Warnings. The "one" argument case may now have 2 or
	3 arguments.
	* sem_prag.adb (Analyze_Pragma/Pragma_Warnings): Update for
	extended form of pragma Warnings. Pragma with tool name is either
	rewritten as null or as an equivalent form without tool name,
	before reanalysis.
	* snames.ads-tmpl (Name_Gnatprove): New name.

Attachment: difs
Description: Text document

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]