return ret;
}
-PTH_FUNC(int, semZuinitZa, // sem_init*
+PTH_FUNC(int, semZuinitZAZAZa, // sem_init@@*
sem_t *sem,
int pshared,
unsigned int value)
}
// sem_wait
-PTH_FUNC(int, semZuwaitZa, // sem_wait*
+PTH_FUNC(int, semZuwaitZAZAZa, // sem_wait@@*
sem_t *sem)
{
int ret;
}
// sem_post
-PTH_FUNC(int, semZupostZa, // sem_post*
+PTH_FUNC(int, semZupostZAZAZa, // sem_post@@*
sem_t *sem)
{
int ret;
Invalid semaphore: semaphore 0x........
- at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
+ at 0x........: sem_wait@@* (drd_pthread_intercepts.c:?)
by 0x........: main (tc18_semabuse.c:34)
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
Invalid semaphore: semaphore 0x........
- at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
+ at 0x........: sem_wait@@* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:242)
FIXME: can't figure out how to verify wrap of sem_post
[1/1] semaphore_post_wait 0x........
Invalid semaphore: semaphore 0x........
- at 0x........: sem_wait* (drd_pthread_intercepts.c:?)
+ at 0x........: sem_wait@@* (drd_pthread_intercepts.c:?)
by 0x........: main (tc20_verifywrap.c:242)
[1/1] semaphore_post 0x........