[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatwe
authorGhjuvan Lacambre <lacambre@adacore.com>
Mon, 20 Apr 2020 07:41:08 +0000 (09:41 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:24 +0000 (05:08 -0400)
commit78689aa295f9b0e54807462d13d3125a5a83c64b
tree70f7c01b42926dbd73c20404cad0d85b5bded9dc
parent668fb87d746afb36e22e48972fe379deb3a2184a
[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatwe

2020-06-18  Ghjuvan Lacambre  <lacambre@adacore.com>

gcc/ada/

* erroutc.ads: Declare new Is_Compile_Time_Msg boolean,
add new Compile_Time_Pragma field to Error_Msg_Object type.
(Count_Compile_Time_Pragma_Warnings): New function.
* erroutc.adb (Count_Compile_Time_Pragma_Warnings): New
function.
(Compilation_Errors): Take Compile_Time warnings into account
when tallying Errors/Warnings.
* errout.ads (Error_Msg): New procedure.
* errout.adb (Error_Msg): New procedure.
(Error_Msg_Internal): Set new Compile_Time_Pragma field in
Error_Msg_Object.
* errutil.adb (Error_Msg): Set new Compile_Time_Pragma field in
Error_Msg_Object.
* sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass
True to new Error_Msg procedure.
* doc/gnat_rm/implementation_defined_pragmas.rst: Update doc for
the Compile_Time_Warning pragma.
* gnat_rm.texi: Regenerate.
* opt.ads: Update comment.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
gcc/ada/errout.adb
gcc/ada/errout.ads
gcc/ada/erroutc.adb
gcc/ada/erroutc.ads
gcc/ada/errutil.adb
gcc/ada/gnat_rm.texi
gcc/ada/opt.ads
gcc/ada/sem_prag.adb