diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 09:02:17 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-20 09:02:17 +0000 |
| commit | 12e8797f4434ce1138969a45c082457a6031ad5d (patch) | |
| tree | 01021f09e5aa739a36dc98c854d7b37867cfcecd /gcc/ada/usage.adb | |
| parent | 1fc096b1d4730071f76d5ce9367c10bfdd663b5d (diff) | |
| download | gcc-12e8797f4434ce1138969a45c082457a6031ad5d.tar.gz | |
2009-04-20 Eric Botcazou <ebotcazou@adacore.com>
* adaint.h (__gnat_lwp_self): Declare on Linux.
* adaint.c (__gnat_os_filename): Add ATTRIBUTE_UNUSED on 'filename'.
2009-04-20 Robert Dewar <dewar@adacore.com>
* exp_ch5.adb, usage.adb, back_end.adb, opt.ads: Implement
front-end part of -fpreserve-control-flow switch.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@146376 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 55a3f49921a..76d9a25b4a4 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -99,6 +99,9 @@ begin Write_Switch_Char ("fno-inline ", ""); Write_Line ("Inhibit all inlining (makes executable smaller)"); + + Write_Switch_Char ("fpreserve-control-flow ", ""); + Write_Line ("Preserve control flow for coverage analysis"); end if; -- Common switches available to both GCC and JGNAT |