From a15d8d347f13ffff51c89f06c606b79a1afa2e67 Mon Sep 17 00:00:00 2001 From: charlet Date: Fri, 2 Sep 2011 09:22:16 +0000 Subject: 2011-09-02 Robert Dewar * prj-dect.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb, prj.adb, prj.ads, sem_ch5.adb: Minor reformatting. 2011-09-02 Thomas Quinot * sem_attr.adb (Analyze_Attribute, case Unrestriced_Access): Guard against a prefix that is an N_Has_Entity but has no associated entity. 2011-09-02 Yannick Moy * lib-xref-alfa.adb (Is_Alfa_Reference): Ignore IN parameters in Alfa references. 2011-09-02 Yannick Moy * opt.ads (Warn_On_Suspicious_Contract): New warning flag. * sem_ch3.adb (Analyze_Declarations): Call checker for suspicious contracts. * sem_ch6.adb, sem_ch6.ads (Check_Subprogram_Contract): New procedure looking for suspicious postconditions. * usage.adb (Usage): New options -gnatw.t and -gnatw.T. * warnsw.adb (Set_Dot_Warning_Switch): Take into account new options -gnatw.t and -gnatw.T. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178448 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/warnsw.adb | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'gcc/ada/warnsw.adb') diff --git a/gcc/ada/warnsw.adb b/gcc/ada/warnsw.adb index c226f3bf48c..96a8e8f5df6 100644 --- a/gcc/ada/warnsw.adb +++ b/gcc/ada/warnsw.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1999-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2011, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -143,6 +143,12 @@ package body Warnsw is when 'S' => Warn_On_Overridden_Size := False; + when 't' => + Warn_On_Suspicious_Contract := True; + + when 'T' => + Warn_On_Suspicious_Contract := False; + when 'u' => Warn_On_Unordered_Enumeration_Type := True; -- cgit v1.2.1