From 209a5607204f960a0de6d6d7f81c754354306211 Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Mon, 27 Nov 2023 15:18:49 +0100 Subject: [PATCH] Reduce activated analsyses and add test --- tests/regression/74-invalid_deref/31-multithreaded.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/regression/74-invalid_deref/31-multithreaded.c b/tests/regression/74-invalid_deref/31-multithreaded.c index e0dc146ba8..8a0c12350b 100644 --- a/tests/regression/74-invalid_deref/31-multithreaded.c +++ b/tests/regression/74-invalid_deref/31-multithreaded.c @@ -1,4 +1,4 @@ -//PARAM: --set ana.activated[+] useAfterFree --set ana.activated[+] threadJoins --set ana.path_sens[+] threadflag --set ana.activated[+] memOutOfBounds --enable ana.int.interval --set ana.base.arrays.domain partitioned --set ana.base.privatization mutex-meet-tid +//PARAM: --set ana.path_sens[+] threadflag --set ana.activated[+] memOutOfBounds --set ana.base.privatization mutex-meet-tid #include int data; @@ -15,7 +15,7 @@ int main() { pthread_create(&id, ((void *)0), t_fun, ((void *)0)); q = p; pthread_mutex_lock(&mutex); - *q = 8; + *q = 8; //NOWARN pthread_mutex_unlock(&mutex); return 0; }