projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9795b20) | patch
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends
authorYannick Moy <moy@adacore.com>
Fri, 5 Jul 2019 07:02:13 +0000 (07:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 5 Jul 2019 07:02:13 +0000 (07:02 +0000)
commit9cbb5574cd580de25e8aaf402e0f3d3c704a7157
treefb0ce4bf7e6eb84d1692bede178bdb8f901193d1tree
parent9795b20366362d63be058f1e4f3009d6bad79310commit | diff
[Ada] Accept compilation switches -Og/-Ofast in non-GCC backends

Tools like GNATprove built as GNAT backends rely on adabkend.adb to
handle generic switches like the optimisation switches -Oxxx.
This patch adds support for -Og and -Ofast that was missing.

There is no impact on compilation.

2019-07-05  Yannick Moy  <moy@adacore.com>

gcc/ada/

* adabkend.adb (Scan_Back_End_Switches): Accept -Og and -Ofast
switches.

From-SVN: r273108
gcc/ada/ChangeLog diff | blob | history
gcc/ada/adabkend.adb diff | blob | history