Showing error 2208

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: pthread/stack_unsafe.i
Line in file: 2033
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

2003
2004
2005extern char *ctermid (char *__s) __attribute__ ((__nothrow__));
2006# 912 "/usr/include/stdio.h" 3 4
2007extern void flockfile (FILE *__stream) __attribute__ ((__nothrow__));
2008
2009
2010
2011extern int ftrylockfile (FILE *__stream) __attribute__ ((__nothrow__)) ;
2012
2013
2014extern void funlockfile (FILE *__stream) __attribute__ ((__nothrow__));
2015# 942 "/usr/include/stdio.h" 3 4
2016
2017# 3 "stack_BUG.c" 2
2018
2019
2020
2021
2022
2023
2024
2025unsigned int __VERIFIER_nondet_uint();
2026static int top=0;
2027static unsigned int arr[(5)];
2028pthread_mutex_t m;
2029_Bool flag=(0);
2030
2031void error(void)
2032{
2033  ERROR: ;
2034  goto ERROR;
2035  return;
2036}
2037
2038void inc_top(void)
2039{
2040  top++;
2041}
2042
2043void dec_top(void)
Show full sources
↑