|
From: <sv...@va...> - 2012-09-15 02:33:27
|
petarj 2012-09-15 03:36:21 +0100 (Sat, 15 Sep 2012)
New Revision: 12976
Log:
Adding new exp file for tc18_semabuse in helgrind.
The existing tc18_semabuse.stderr.exp expects that sem_post on a bogus semaphore
will fail, yet it does not on platforms such as MIPS or ARM. This is specific to
implementation of sem_post for i386/x86_64 that has some assumptions such as that
'private' field is not clobbered. This will eventually result in different
parameter passed to syscall and thus different output is encountered.
This change fixes helgrind/tests/tc18_semabuse for MIPS.
Added files:
trunk/helgrind/tests/tc18_semabuse.stderr.exp-linux-mips32
Modified files:
trunk/helgrind/tests/Makefile.am
Modified: trunk/helgrind/tests/Makefile.am (+1 -0)
===================================================================
--- trunk/helgrind/tests/Makefile.am 2012-09-15 03:22:46 +01:00 (rev 12975)
+++ trunk/helgrind/tests/Makefile.am 2012-09-15 03:36:21 +01:00 (rev 12976)
@@ -80,6 +80,7 @@
tc17_sembar.stderr.exp \
tc18_semabuse.vgtest tc18_semabuse.stdout.exp \
tc18_semabuse.stderr.exp \
+ tc18_semabuse.stderr.exp-linux-mips32 \
tc19_shadowmem.vgtest tc19_shadowmem.stdout.exp \
tc19_shadowmem.stderr.exp \
tc20_verifywrap.vgtest tc20_verifywrap.stdout.exp \
Added: trunk/helgrind/tests/tc18_semabuse.stderr.exp-linux-mips32 (+22 -0)
===================================================================
--- trunk/helgrind/tests/tc18_semabuse.stderr.exp-linux-mips32 2012-09-15 03:22:46 +01:00 (rev 12975)
+++ trunk/helgrind/tests/tc18_semabuse.stderr.exp-linux-mips32 2012-09-15 03:36:21 +01:00 (rev 12976)
@@ -0,0 +1,22 @@
+
+---Thread-Announcement------------------------------------------
+
+Thread #x is the program's root thread
+
+----------------------------------------------------------------
+
+Thread #x's call to sem_init failed
+ with error code 22 (EINVAL: Invalid argument)
+ at 0x........: sem_init_WRK (hg_intercepts.c:...)
+ by 0x........: sem_init@* (hg_intercepts.c:...)
+ by 0x........: main (tc18_semabuse.c:23)
+
+----------------------------------------------------------------
+
+Thread #x: Bug in libpthread: sem_wait succeeded on semaphore without prior sem_post
+ at 0x........: sem_wait_WRK (hg_intercepts.c:...)
+ by 0x........: sem_wait (hg_intercepts.c:...)
+ by 0x........: main (tc18_semabuse.c:34)
+
+
+ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
|