gcc/ada/warnsw.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                               W A R N S W                                --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1999-2017, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
  19 -- http://www.gnu.org/licenses for a complete copy of the license.          --
  20 --                                                                          --
  21 -- GNAT was originally developed  by the GNAT team at  New York University. --
  22 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  23 --                                                                          --
  24 ------------------------------------------------------------------------------
  25
  26 with Err_Vars; use Err_Vars;
  27 with Opt;      use Opt;
  28 with Output;   use Output;
  29
  30 package body Warnsw is
  31
  32    --  Local Subprograms
  33
  34    procedure All_Warnings (Setting : Boolean);
  35    --  Sets all warnings off if Setting = False, and on if Setting = True
  36
  37    procedure WA_Warnings;
  38    --  Turn on all warnings set by -gnatwa (also used by -gnatw.g)
  39
  40    ------------------
  41    -- All_Warnings --
  42    ------------------
  43
  44    procedure All_Warnings (Setting : Boolean) is
  45    begin
  46       Address_Clause_Overlay_Warnings     := Setting;
  47       Check_Unreferenced                  := Setting;
  48       Check_Unreferenced_Formals          := Setting;
  49       Check_Withs                         := Setting;
  50       Constant_Condition_Warnings         := Setting;
  51       Elab_Warnings                       := Setting;
  52       Implementation_Unit_Warnings        := Setting;
  53       Ineffective_Inline_Warnings         := Setting;
  54       List_Body_Required_Info             := Setting;
  55       List_Inherited_Aspects              := Setting;
  56       Warn_On_Ada_2005_Compatibility      := Setting;
  57       Warn_On_Ada_2012_Compatibility      := Setting;
  58       Warn_On_All_Unread_Out_Parameters   := Setting;
  59       Warn_On_Assertion_Failure           := Setting;
  60       Warn_On_Assumed_Low_Bound           := Setting;
  61       Warn_On_Atomic_Synchronization      := Setting;
  62       Warn_On_Bad_Fixed_Value             := Setting;
  63       Warn_On_Biased_Representation       := Setting;
  64       Warn_On_Constant                    := Setting;
  65       Warn_On_Deleted_Code                := Setting;
  66       Warn_On_Dereference                 := Setting;
  67       Warn_On_Export_Import               := Setting;
  68       Warn_On_Hiding                      := Setting;
  69       Warn_On_Late_Primitives             := Setting;
  70       Warn_On_Modified_Unread             := Setting;
  71       Warn_On_No_Value_Assigned           := Setting;
  72       Warn_On_Non_Local_Exception         := Setting;
  73       Warn_On_Object_Renames_Function     := Setting;
  74       Warn_On_Obsolescent_Feature         := Setting;
  75       Warn_On_Overlap                     := Setting;
  76       Warn_On_Overridden_Size             := Setting;
  77       Warn_On_Parameter_Order             := Setting;
  78       Warn_On_Questionable_Layout         := Setting;
  79       Warn_On_Questionable_Missing_Parens := Setting;
  80       Warn_On_Record_Holes                := Setting;
  81       Warn_On_Redundant_Constructs        := Setting;
  82       Warn_On_Reverse_Bit_Order           := Setting;
  83       Warn_On_Size_Alignment              := Setting;
  84       Warn_On_Standard_Redefinition       := Setting;
  85       Warn_On_Suspicious_Contract         := Setting;
  86       Warn_On_Suspicious_Modulus_Value    := Setting;
  87       Warn_On_Unchecked_Conversion        := Setting;
  88       Warn_On_Unordered_Enumeration_Type  := Setting;
  89       Warn_On_Unrecognized_Pragma         := Setting;
  90       Warn_On_Unrepped_Components         := Setting;
  91       Warn_On_Warnings_Off                := Setting;
  92    end All_Warnings;
  93
  94    ----------------------
  95    -- Restore_Warnings --
  96    ----------------------
  97
  98    procedure Restore_Warnings (W : Warning_Record) is
  99    begin
 100       Address_Clause_Overlay_Warnings     :=
 101         W.Address_Clause_Overlay_Warnings;
 102       Check_Unreferenced                  :=
 103         W.Check_Unreferenced;
 104       Check_Unreferenced_Formals          :=
 105         W.Check_Unreferenced_Formals;
 106       Check_Withs                         :=
 107         W.Check_Withs;
 108       Constant_Condition_Warnings         :=
 109         W.Constant_Condition_Warnings;
 110       Elab_Warnings                       :=
 111         W.Elab_Warnings;
 112       Elab_Info_Messages                  :=
 113         W.Elab_Info_Messages;
 114       Implementation_Unit_Warnings        :=
 115         W.Implementation_Unit_Warnings;
 116       Ineffective_Inline_Warnings         :=
 117         W.Ineffective_Inline_Warnings;
 118       List_Body_Required_Info             :=
 119         W.List_Body_Required_Info;
 120       List_Inherited_Aspects              :=
 121         W.List_Inherited_Aspects;
 122       No_Warn_On_Non_Local_Exception      :=
 123         W.No_Warn_On_Non_Local_Exception;
 124       Warning_Doc_Switch                  :=
 125         W.Warning_Doc_Switch;
 126       Warn_On_Ada_2005_Compatibility      :=
 127         W.Warn_On_Ada_2005_Compatibility;
 128       Warn_On_Ada_2012_Compatibility      :=
 129         W.Warn_On_Ada_2012_Compatibility;
 130       Warn_On_All_Unread_Out_Parameters   :=
 131         W.Warn_On_All_Unread_Out_Parameters;
 132       Warn_On_Assertion_Failure           :=
 133         W.Warn_On_Assertion_Failure;
 134       Warn_On_Assumed_Low_Bound           :=
 135         W.Warn_On_Assumed_Low_Bound;
 136       Warn_On_Atomic_Synchronization      :=
 137         W.Warn_On_Atomic_Synchronization;
 138       Warn_On_Bad_Fixed_Value             :=
 139         W.Warn_On_Bad_Fixed_Value;
 140       Warn_On_Biased_Representation       :=
 141         W.Warn_On_Biased_Representation;
 142       Warn_On_Constant                    :=
 143         W.Warn_On_Constant;
 144       Warn_On_Deleted_Code                :=
 145         W.Warn_On_Deleted_Code;
 146       Warn_On_Dereference                 :=
 147         W.Warn_On_Dereference;
 148       Warn_On_Export_Import               :=
 149         W.Warn_On_Export_Import;
 150       Warn_On_Hiding                      :=
 151         W.Warn_On_Hiding;
 152       Warn_On_Late_Primitives             :=
 153         W.Warn_On_Late_Primitives;
 154       Warn_On_Modified_Unread             :=
 155         W.Warn_On_Modified_Unread;
 156       Warn_On_No_Value_Assigned           :=
 157         W.Warn_On_No_Value_Assigned;
 158       Warn_On_Non_Local_Exception         :=
 159         W.Warn_On_Non_Local_Exception;
 160       Warn_On_Object_Renames_Function     :=
 161         W.Warn_On_Object_Renames_Function;
 162       Warn_On_Obsolescent_Feature         :=
 163         W.Warn_On_Obsolescent_Feature;
 164       Warn_On_Overlap                     :=
 165         W.Warn_On_Overlap;
 166       Warn_On_Overridden_Size             :=
 167         W.Warn_On_Overridden_Size;
 168       Warn_On_Parameter_Order             :=
 169         W.Warn_On_Parameter_Order;
 170       Warn_On_Questionable_Layout         :=
 171         W.Warn_On_Questionable_Layout;
 172       Warn_On_Questionable_Missing_Parens :=
 173         W.Warn_On_Questionable_Missing_Parens;
 174       Warn_On_Record_Holes                :=
 175         W.Warn_On_Record_Holes;
 176       Warn_On_Redundant_Constructs        :=
 177         W.Warn_On_Redundant_Constructs;
 178       Warn_On_Reverse_Bit_Order           :=
 179         W.Warn_On_Reverse_Bit_Order;
 180       Warn_On_Size_Alignment              :=
 181         W.Warn_On_Size_Alignment;
 182       Warn_On_Standard_Redefinition       :=
 183         W.Warn_On_Standard_Redefinition;
 184       Warn_On_Suspicious_Contract         :=
 185         W.Warn_On_Suspicious_Contract;
 186       Warn_On_Unchecked_Conversion        :=
 187         W.Warn_On_Unchecked_Conversion;
 188       Warn_On_Unordered_Enumeration_Type  :=
 189         W.Warn_On_Unordered_Enumeration_Type;
 190       Warn_On_Unrecognized_Pragma         :=
 191         W.Warn_On_Unrecognized_Pragma;
 192       Warn_On_Unrepped_Components         :=
 193         W.Warn_On_Unrepped_Components;
 194       Warn_On_Warnings_Off                :=
 195         W.Warn_On_Warnings_Off;
 196    end Restore_Warnings;
 197
 198    -------------------
 199    -- Save_Warnings --
 200    -------------------
 201
 202    function Save_Warnings return Warning_Record is
 203       W : Warning_Record;
 204
 205    begin
 206       W.Address_Clause_Overlay_Warnings     :=
 207         Address_Clause_Overlay_Warnings;
 208       W.Check_Unreferenced                  :=
 209         Check_Unreferenced;
 210       W.Check_Unreferenced_Formals          :=
 211         Check_Unreferenced_Formals;
 212       W.Check_Withs                         :=
 213         Check_Withs;
 214       W.Constant_Condition_Warnings         :=
 215         Constant_Condition_Warnings;
 216       W.Elab_Info_Messages                  :=
 217         Elab_Info_Messages;
 218       W.Elab_Warnings                       :=
 219         Elab_Warnings;
 220       W.Implementation_Unit_Warnings        :=
 221         Implementation_Unit_Warnings;
 222       W.Ineffective_Inline_Warnings         :=
 223         Ineffective_Inline_Warnings;
 224       W.List_Body_Required_Info             :=
 225         List_Body_Required_Info;
 226       W.List_Inherited_Aspects              :=
 227         List_Inherited_Aspects;
 228       W.No_Warn_On_Non_Local_Exception      :=
 229         No_Warn_On_Non_Local_Exception;
 230       W.Warning_Doc_Switch                  :=
 231         Warning_Doc_Switch;
 232       W.Warn_On_Ada_2005_Compatibility      :=
 233         Warn_On_Ada_2005_Compatibility;
 234       W.Warn_On_Ada_2012_Compatibility      :=
 235         Warn_On_Ada_2012_Compatibility;
 236       W.Warn_On_All_Unread_Out_Parameters   :=
 237         Warn_On_All_Unread_Out_Parameters;
 238       W.Warn_On_Assertion_Failure           :=
 239         Warn_On_Assertion_Failure;
 240       W.Warn_On_Assumed_Low_Bound           :=
 241         Warn_On_Assumed_Low_Bound;
 242       W.Warn_On_Atomic_Synchronization      :=
 243         Warn_On_Atomic_Synchronization;
 244       W.Warn_On_Bad_Fixed_Value             :=
 245         Warn_On_Bad_Fixed_Value;
 246       W.Warn_On_Biased_Representation       :=
 247         Warn_On_Biased_Representation;
 248       W.Warn_On_Constant                    :=
 249         Warn_On_Constant;
 250       W.Warn_On_Deleted_Code                :=
 251         Warn_On_Deleted_Code;
 252       W.Warn_On_Dereference                 :=
 253         Warn_On_Dereference;
 254       W.Warn_On_Export_Import               :=
 255         Warn_On_Export_Import;
 256       W.Warn_On_Hiding                      :=
 257         Warn_On_Hiding;
 258       W.Warn_On_Late_Primitives             :=
 259         Warn_On_Late_Primitives;
 260       W.Warn_On_Modified_Unread             :=
 261         Warn_On_Modified_Unread;
 262       W.Warn_On_No_Value_Assigned           :=
 263         Warn_On_No_Value_Assigned;
 264       W.Warn_On_Non_Local_Exception         :=
 265         Warn_On_Non_Local_Exception;
 266       W.Warn_On_Object_Renames_Function     :=
 267         Warn_On_Object_Renames_Function;
 268       W.Warn_On_Obsolescent_Feature         :=
 269         Warn_On_Obsolescent_Feature;
 270       W.Warn_On_Overlap                     :=
 271         Warn_On_Overlap;
 272       W.Warn_On_Overridden_Size             :=
 273         Warn_On_Overridden_Size;
 274       W.Warn_On_Parameter_Order             :=
 275         Warn_On_Parameter_Order;
 276       W.Warn_On_Questionable_Layout         :=
 277         Warn_On_Questionable_Layout;
 278       W.Warn_On_Questionable_Missing_Parens :=
 279         Warn_On_Questionable_Missing_Parens;
 280       W.Warn_On_Record_Holes                :=
 281         Warn_On_Record_Holes;
 282       W.Warn_On_Redundant_Constructs        :=
 283         Warn_On_Redundant_Constructs;
 284       W.Warn_On_Reverse_Bit_Order           :=
 285         Warn_On_Reverse_Bit_Order;
 286       W.Warn_On_Size_Alignment              :=
 287         Warn_On_Size_Alignment;
 288       W.Warn_On_Standard_Redefinition       :=
 289         Warn_On_Standard_Redefinition;
 290       W.Warn_On_Suspicious_Contract         :=
 291         Warn_On_Suspicious_Contract;
 292       W.Warn_On_Unchecked_Conversion        :=
 293         Warn_On_Unchecked_Conversion;
 294       W.Warn_On_Unordered_Enumeration_Type  :=
 295         Warn_On_Unordered_Enumeration_Type;
 296       W.Warn_On_Unrecognized_Pragma         :=
 297         Warn_On_Unrecognized_Pragma;
 298       W.Warn_On_Unrepped_Components         :=
 299         Warn_On_Unrepped_Components;
 300       W.Warn_On_Warnings_Off                :=
 301         Warn_On_Warnings_Off;
 302       return W;
 303    end Save_Warnings;
 304
 305    ----------------------------
 306    -- Set_Dot_Warning_Switch --
 307    ----------------------------
 308
 309    function Set_Dot_Warning_Switch (C : Character) return Boolean is
 310    begin
 311       case C is
 312          when 'a' =>
 313             Warn_On_Assertion_Failure           := True;
 314
 315          when 'A' =>
 316             Warn_On_Assertion_Failure           := False;
 317
 318          when 'b' =>
 319             Warn_On_Biased_Representation       := True;
 320
 321          when 'B' =>
 322             Warn_On_Biased_Representation       := False;
 323
 324          when 'c' =>
 325             Warn_On_Unrepped_Components         := True;
 326
 327          when 'C' =>
 328             Warn_On_Unrepped_Components         := False;
 329
 330          when 'd' =>
 331             Warning_Doc_Switch                  := True;
 332
 333          when 'D' =>
 334             Warning_Doc_Switch                  := False;
 335
 336          when 'e' =>
 337             All_Warnings (True);
 338
 339          when 'f' =>
 340             Warn_On_Elab_Access                 := True;
 341
 342          when 'F' =>
 343             Warn_On_Elab_Access                 := False;
 344
 345          when 'g' =>
 346             Set_GNAT_Mode_Warnings;
 347
 348          when 'h' =>
 349             Warn_On_Record_Holes                := True;
 350
 351          when 'H' =>
 352             Warn_On_Record_Holes                := False;
 353
 354          when 'i' =>
 355             Warn_On_Overlap                     := True;
 356
 357          when 'I' =>
 358             Warn_On_Overlap                     := False;
 359
 360          when 'j' =>
 361             Warn_On_Late_Primitives             := True;
 362
 363          when 'J' =>
 364             Warn_On_Late_Primitives             := False;
 365
 366          when 'k' =>
 367             Warn_On_Standard_Redefinition       := True;
 368
 369          when 'K' =>
 370             Warn_On_Standard_Redefinition       := False;
 371
 372          when 'l' =>
 373             List_Inherited_Aspects              := True;
 374
 375          when 'L' =>
 376             List_Inherited_Aspects              := False;
 377
 378          when 'm' =>
 379             Warn_On_Suspicious_Modulus_Value    := True;
 380
 381          when 'M' =>
 382             Warn_On_Suspicious_Modulus_Value    := False;
 383
 384          when 'n' =>
 385             Warn_On_Atomic_Synchronization      := True;
 386
 387          when 'N' =>
 388             Warn_On_Atomic_Synchronization      := False;
 389
 390          when 'o' =>
 391             Warn_On_All_Unread_Out_Parameters   := True;
 392
 393          when 'O' =>
 394             Warn_On_All_Unread_Out_Parameters   := False;
 395
 396          when 'p' =>
 397             Warn_On_Parameter_Order             := True;
 398
 399          when 'P' =>
 400             Warn_On_Parameter_Order             := False;
 401
 402          when 'q' =>
 403             Warn_On_Questionable_Layout         := True;
 404
 405          when 'Q' =>
 406             Warn_On_Questionable_Layout         := False;
 407
 408          when 'r' =>
 409             Warn_On_Object_Renames_Function     := True;
 410
 411          when 'R' =>
 412             Warn_On_Object_Renames_Function     := False;
 413
 414          when 's' =>
 415             Warn_On_Overridden_Size             := True;
 416
 417          when 'S' =>
 418             Warn_On_Overridden_Size             := False;
 419
 420          when 't' =>
 421             Warn_On_Suspicious_Contract         := True;
 422
 423          when 'T' =>
 424             Warn_On_Suspicious_Contract         := False;
 425
 426          when 'u' =>
 427             Warn_On_Unordered_Enumeration_Type  := True;
 428
 429          when 'U' =>
 430             Warn_On_Unordered_Enumeration_Type  := False;
 431
 432          when 'v' =>
 433             Warn_On_Reverse_Bit_Order           := True;
 434
 435          when 'V' =>
 436             Warn_On_Reverse_Bit_Order           := False;
 437
 438          when 'w' =>
 439             Warn_On_Warnings_Off                := True;
 440
 441          when 'W' =>
 442             Warn_On_Warnings_Off                := False;
 443
 444          when 'x' =>
 445             Warn_On_Non_Local_Exception         := True;
 446
 447          when 'X' =>
 448             Warn_On_Non_Local_Exception         := False;
 449             No_Warn_On_Non_Local_Exception      := True;
 450
 451          when 'y' =>
 452             List_Body_Required_Info             := True;
 453
 454          when 'Y' =>
 455             List_Body_Required_Info             := False;
 456
 457          when 'z' =>
 458             Warn_On_Size_Alignment              := True;
 459
 460          when 'Z' =>
 461             Warn_On_Size_Alignment              := False;
 462
 463          when others =>
 464             if Ignore_Unrecognized_VWY_Switches then
 465                Write_Line ("unrecognized switch -gnatw." & C & " ignored");
 466             else
 467                return False;
 468             end if;
 469       end case;
 470
 471       return True;
 472    end Set_Dot_Warning_Switch;
 473
 474    ----------------------------
 475    -- Set_GNAT_Mode_Warnings --
 476    ----------------------------
 477
 478    procedure Set_GNAT_Mode_Warnings is
 479    begin
 480       --  Set -gnatwa warnings and no others
 481
 482       All_Warnings (False);
 483       WA_Warnings;
 484
 485       --  These warnings are added to the -gnatwa set
 486
 487       Address_Clause_Overlay_Warnings     := True;
 488       Warn_On_Overridden_Size             := True;
 489
 490       --  These warnings are removed from the -gnatwa set
 491
 492       Implementation_Unit_Warnings        := False;
 493       Warn_On_Non_Local_Exception         := False;
 494       No_Warn_On_Non_Local_Exception      := True;
 495       Warn_On_Reverse_Bit_Order           := False;
 496       Warn_On_Size_Alignment              := False;
 497       Warn_On_Unrepped_Components         := False;
 498    end Set_GNAT_Mode_Warnings;
 499
 500    ------------------------
 501    -- Set_Warning_Switch --
 502    ------------------------
 503
 504    function Set_Warning_Switch (C : Character) return Boolean is
 505    begin
 506       case C is
 507          when 'a' =>
 508             WA_Warnings;
 509
 510          when 'A' =>
 511             All_Warnings (False);
 512             No_Warn_On_Non_Local_Exception      := True;
 513
 514          when 'b' =>
 515             Warn_On_Bad_Fixed_Value             := True;
 516
 517          when 'B' =>
 518             Warn_On_Bad_Fixed_Value             := False;
 519
 520          when 'c' =>
 521             Constant_Condition_Warnings         := True;
 522
 523          when 'C' =>
 524             Constant_Condition_Warnings         := False;
 525
 526          when 'd' =>
 527             Warn_On_Dereference                 := True;
 528
 529          when 'D' =>
 530             Warn_On_Dereference                 := False;
 531
 532          when 'e' =>
 533             Warning_Mode                        := Treat_As_Error;
 534
 535          when 'E' =>
 536             Warning_Mode := Treat_Run_Time_Warnings_As_Errors;
 537
 538          when 'f' =>
 539             Check_Unreferenced_Formals          := True;
 540
 541          when 'F' =>
 542             Check_Unreferenced_Formals          := False;
 543
 544          when 'g' =>
 545             Warn_On_Unrecognized_Pragma         := True;
 546
 547          when 'G' =>
 548             Warn_On_Unrecognized_Pragma         := False;
 549
 550          when 'h' =>
 551             Warn_On_Hiding                      := True;
 552
 553          when 'H' =>
 554             Warn_On_Hiding                      := False;
 555
 556          when 'i' =>
 557             Implementation_Unit_Warnings        := True;
 558
 559          when 'I' =>
 560             Implementation_Unit_Warnings        := False;
 561
 562          when 'j' =>
 563             Warn_On_Obsolescent_Feature         := True;
 564
 565          when 'J' =>
 566             Warn_On_Obsolescent_Feature         := False;
 567
 568          when 'k' =>
 569             Warn_On_Constant                    := True;
 570
 571          when 'K' =>
 572             Warn_On_Constant                    := False;
 573
 574          when 'l' =>
 575             Elab_Warnings                       := True;
 576
 577          when 'L' =>
 578             Elab_Warnings                       := False;
 579
 580          when 'm' =>
 581             Warn_On_Modified_Unread             := True;
 582
 583          when 'M' =>
 584             Warn_On_Modified_Unread             := False;
 585
 586          when 'n' =>
 587             Warning_Mode                        := Normal;
 588
 589          when 'o' =>
 590             Address_Clause_Overlay_Warnings     := True;
 591
 592          when 'O' =>
 593             Address_Clause_Overlay_Warnings     := False;
 594
 595          when 'p' =>
 596             Ineffective_Inline_Warnings         := True;
 597
 598          when 'P' =>
 599             Ineffective_Inline_Warnings         := False;
 600
 601          when 'q' =>
 602             Warn_On_Questionable_Missing_Parens := True;
 603
 604          when 'Q' =>
 605             Warn_On_Questionable_Missing_Parens := False;
 606
 607          when 'r' =>
 608             Warn_On_Redundant_Constructs        := True;
 609
 610          when 'R' =>
 611             Warn_On_Redundant_Constructs        := False;
 612
 613          when 's' =>
 614             Warning_Mode                        := Suppress;
 615
 616          when 't' =>
 617             Warn_On_Deleted_Code                := True;
 618
 619          when 'T' =>
 620             Warn_On_Deleted_Code                := False;
 621
 622          when 'u' =>
 623             Check_Unreferenced                  := True;
 624             Check_Withs                         := True;
 625             Check_Unreferenced_Formals          := True;
 626
 627          when 'U' =>
 628             Check_Unreferenced                  := False;
 629             Check_Withs                         := False;
 630             Check_Unreferenced_Formals          := False;
 631
 632          when 'v' =>
 633             Warn_On_No_Value_Assigned           := True;
 634
 635          when 'V' =>
 636             Warn_On_No_Value_Assigned           := False;
 637
 638          when 'w' =>
 639             Warn_On_Assumed_Low_Bound           := True;
 640
 641          when 'W' =>
 642             Warn_On_Assumed_Low_Bound           := False;
 643
 644          when 'x' =>
 645             Warn_On_Export_Import               := True;
 646
 647          when 'X' =>
 648             Warn_On_Export_Import               := False;
 649
 650          when 'y' =>
 651             Warn_On_Ada_2005_Compatibility      := True;
 652             Warn_On_Ada_2012_Compatibility      := True;
 653
 654          when 'Y' =>
 655             Warn_On_Ada_2005_Compatibility      := False;
 656             Warn_On_Ada_2012_Compatibility      := False;
 657
 658          when 'z' =>
 659             Warn_On_Unchecked_Conversion        := True;
 660
 661          when 'Z' =>
 662             Warn_On_Unchecked_Conversion        := False;
 663
 664          when others =>
 665             if Ignore_Unrecognized_VWY_Switches then
 666                Write_Line ("unrecognized switch -gnatw" & C & " ignored");
 667             else
 668                return False;
 669             end if;
 670       end case;
 671
 672       return True;
 673    end Set_Warning_Switch;
 674
 675    -----------------
 676    -- WA_Warnings --
 677    -----------------
 678
 679    procedure WA_Warnings is
 680    begin
 681       Check_Unreferenced                  := True; -- -gnatwf/-gnatwu
 682       Check_Unreferenced_Formals          := True; -- -gnatwf/-gnatwu
 683       Check_Withs                         := True; -- -gnatwu
 684       Constant_Condition_Warnings         := True; -- -gnatwc
 685       Implementation_Unit_Warnings        := True; -- -gnatwi
 686       Ineffective_Inline_Warnings         := True; -- -gnatwp
 687       Warn_On_Ada_2005_Compatibility      := True; -- -gnatwy
 688       Warn_On_Ada_2012_Compatibility      := True; -- -gnatwy
 689       Warn_On_Assertion_Failure           := True; -- -gnatw.a
 690       Warn_On_Assumed_Low_Bound           := True; -- -gnatww
 691       Warn_On_Bad_Fixed_Value             := True; -- -gnatwb
 692       Warn_On_Biased_Representation       := True; -- -gnatw.b
 693       Warn_On_Constant                    := True; -- -gnatwk
 694       Warn_On_Export_Import               := True; -- -gnatwx
 695       Warn_On_Late_Primitives             := True; -- -gnatw.j
 696       Warn_On_Modified_Unread             := True; -- -gnatwm
 697       Warn_On_No_Value_Assigned           := True; -- -gnatwv
 698       Warn_On_Non_Local_Exception         := True; -- -gnatw.x
 699       Warn_On_Object_Renames_Function     := True; -- -gnatw.r
 700       Warn_On_Obsolescent_Feature         := True; -- -gnatwj
 701       Warn_On_Overlap                     := True; -- -gnatw.i
 702       Warn_On_Parameter_Order             := True; -- -gnatw.p
 703       Warn_On_Questionable_Missing_Parens := True; -- -gnatwq
 704       Warn_On_Redundant_Constructs        := True; -- -gnatwr
 705       Warn_On_Reverse_Bit_Order           := True; -- -gnatw.v
 706       Warn_On_Size_Alignment              := True; -- -gnatw.z
 707       Warn_On_Suspicious_Contract         := True; -- -gnatw.t
 708       Warn_On_Suspicious_Modulus_Value    := True; -- -gnatw.m
 709       Warn_On_Unchecked_Conversion        := True; -- -gnatwz
 710       Warn_On_Unrecognized_Pragma         := True; -- -gnatwg
 711       Warn_On_Unrepped_Components         := True; -- -gnatw.c
 712    end WA_Warnings;
 713
 714 end Warnsw;