RUN c953001
==1870== Memcheck, a memory error detector for x86-linux.
==1870== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==1870== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==1870== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==1870== For more details, rerun with: -v
==1870==
==1870== warning: Valgrind's pthread_setschedparam does nothing
==1870== (scheduling not changeable)
==1870== your program may misbehave as a result
,.,. C953001 ACATS 2.5 05-01-11 16:52:43
---- C953001 Check that an exception in an entry_barrier condition
causes Program_Error to be propagated to all current
callers of all entries of the protected object.
==1870== warning: Valgrind's pthread_attr_destroy does nothing
==1870== your program may misbehave as a result
==1870== warning: Valgrind's pthread_setschedparam does nothing
==1870== (scheduling not changeable)
==1870== your program may misbehave as a result
==1870== warning: Valgrind's pthread_attr_destroy does nothing
==1870== your program may misbehave as a result
==1870== warning: Valgrind's pthread_setschedparam does nothing
==1870== (scheduling not changeable)
==1870== your program may misbehave as a result
==1870== warning: Valgrind's pthread_attr_destroy does nothing
==1870== your program may misbehave as a result
==1870== Thread 2:
==1870== Invalid read of size 4
==1870== at 0x806A028: c953001__po__family21bB.927 (c953001.adb:106)
==1870== by 0x8061EF9:
system__tasking__protected_objects__operations__po_do_or_queue
(s-tpobop.adb:309)
==1870== by 0x80626F9:
system__tasking__protected_objects__operations__protected_entry_call
(s-tpobop.adb:575)
==1870== by 0x806A3C1: c953001__waiterB.1116 (c953001.adb:132)
==1870== Address 0xA8 is not stack'd, malloc'd or (recently) free'd
raised STORAGE_ERROR : s-intman.adb:124 explicit raise
==1870==
==1870== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 17 from 1)
==1870== malloc/free: in use at exit: 175868 bytes in 93 blocks.
==1870== malloc/free: 114 allocs, 21 frees, 179174 bytes allocated.
==1870== For a detailed leak analysis, rerun with: --leak-check=yes
==1870== For counts of detected errors, rerun with: -v
FAIL: c953001
--
Summary: ACATS c953001 - valgrind detects wrong code (invalid
read)
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19415
