diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-15 12:46:56 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-15 12:46:56 +0200 |
commit | 1f6821b4dcdcc3bf95f6aa4551cc755e113162be (patch) | |
tree | 10bddee8ce636cf702726cb420bef283041bab7d /gcc/ada/g-comlin.adb | |
parent | 507ed3fd5bb9f377bade052259a61d53d3a7bedc (diff) | |
download | gcc-1f6821b4dcdcc3bf95f6aa4551cc755e113162be.zip gcc-1f6821b4dcdcc3bf95f6aa4551cc755e113162be.tar.gz gcc-1f6821b4dcdcc3bf95f6aa4551cc755e113162be.tar.bz2 |
[multiple changes]
2009-04-15 Robert Dewar <dewar@adacore.com>
* frontend.adb (Frontend): Set proper default for
Warn_On_Non_Local_Exception.
* opt.ads (Exception_Handler_Encountered): New flag
(No_Warn_On_Non_Local_Exception): New flag
* par-ch11.adb (P_Exception_Handler): Set Exception_Handler_Encountered
* sem_warn.adb (Set_Warning_Switch): Set No_Warn_On_Non_Local_Exception
(Set_Dot_Warning_Switch): Set No_Warn_On_Non_Local_Exception
2009-04-15 Cyrille Comar <comar@adacore.com>
* s-tassta.adb, a-exextr.adb, a-elchha.adb
(Ada.Exception.Last_Chance_Handler): Do not print unhandled exception
message when exception traces are active since it would generate
redundant information.
(Exception_Traces.Notify_Exception): put message output by a critical
section to avoid unsynchronized output.
(Trace_Unhandled_Exception_In_Task): put message output by a critical
section to avoid unsynchronized output.
2009-04-15 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb, prj-tree.adb, prj-tree.ads, prj.adb, prj.ads
(Free): New subprogram.
From-SVN: r146100
Diffstat (limited to 'gcc/ada/g-comlin.adb')
-rw-r--r-- | gcc/ada/g-comlin.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/g-comlin.adb b/gcc/ada/g-comlin.adb index 307f890..9564ff2d 100644 --- a/gcc/ada/g-comlin.adb +++ b/gcc/ada/g-comlin.adb @@ -2449,6 +2449,8 @@ package body GNAT.Command_Line is Free (Config.Aliases); Free (Config.Expansions); Free (Config.Prefixes); + Free (Config.Sections); + Free (Config.Switches); Unchecked_Free (Config); end if; end Free; |