diff options
| author | Rafael Espindola <espindola@google.com> | 2009-04-20 14:09:46 +0000 |
|---|---|---|
| committer | Rafael Espindola <espindola@google.com> | 2009-04-20 14:09:46 +0000 |
| commit | ee7d4fba3eb1fe0ef18f4badf1fd71100c99309c (patch) | |
| tree | 9c8d314cc606457ab4eb9ddec739f1c5d2c92008 /gcc/ada/a-exextr.adb | |
| parent | 20ccb780d272cc40cbb95191d5adf63bd7aa4842 (diff) | |
2009-04-20 Rafael Avila de Espindola <espindola@google.com>plugins
Merge with mainline @146369.
* configure.ac (ACX_PKGVERSION): Update.
* configure: Regenerate.
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/plugins@146426 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-exextr.adb')
| -rw-r--r-- | gcc/ada/a-exextr.adb | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/a-exextr.adb b/gcc/ada/a-exextr.adb index 967a54b1099..2ea9a3ad1e5 100644 --- a/gcc/ada/a-exextr.adb +++ b/gcc/ada/a-exextr.adb @@ -101,9 +101,13 @@ package body Exception_Traces is if not Excep.Id.Not_Handled_By_Others and then - (Exception_Trace = Every_Raise - or else (Exception_Trace = Unhandled_Raise and then Is_Unhandled)) + (Exception_Trace = Every_Raise + or else (Exception_Trace = Unhandled_Raise and then Is_Unhandled)) then + -- Exception trace messages need to be protected when several tasks + -- can issue them at the same time. + + Lock_Task.all; To_Stderr (Nline); if Is_Unhandled then @@ -113,6 +117,7 @@ package body Exception_Traces is To_Stderr ("Exception raised"); To_Stderr (Nline); To_Stderr (Tailored_Exception_Information (Excep.all)); + Unlock_Task.all; end if; -- Call the user-specific actions |