https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
dimitri at ouroboros dot rocks changed: What |Removed |Added ---------------------------------------------------------------------------- Attachment #53852|0 |1 is obsolete| | Attachment #53853|0 |1 is obsolete| | --- Comment #3 from dimitri at ouroboros dot rocks --- Created attachment 53854 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53854&action=edit simpler test case Got a simpler reproducer. gcc -c -fanalyzer test_if_else_pthread_min.c also reproduces the issue. It's probably the pthread_cleanup handlers (macros) with an internal while loop that cause the issue rather than the pthread_cond_timedwait.