Remove pthread_mutexattr_t from is_mutex_type

goblint · Aug 2, 2023 · 2ed68e0 · 2ed68e0
1 parent 95aafbc
commit 2ed68e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/valueDomain.ml b/src/cdomains/valueDomain.ml
@@ -115,7 +115,7 @@ struct
     | _ -> false
 
   let is_mutex_type (t: typ): bool = match t with
-    | TNamed (info, attr) -> info.tname = "pthread_mutex_t" || info.tname = "spinlock_t" || info.tname = "pthread_spinlock_t" || info.tname = "pthread_cond_t" || info.tname = "pthread_mutexattr_t"
+    | TNamed (info, attr) -> info.tname = "pthread_mutex_t" || info.tname = "spinlock_t" || info.tname = "pthread_spinlock_t" || info.tname = "pthread_cond_t"
     | TInt (IInt, attr) -> hasAttribute "mutex" attr
     | _ -> false