#line 24 "/usr/include/x86_64-linux-gnu/bits/sigaction.h"
struct sigaction {
union __anonunion___sigaction_handler_53 __sigaction_handler ;
__sigset_t sa_mask ;
int sa_flags ;
void (*sa_restorer)(void) ;
};
#line 118 "/usr/include/x86_64-linux-gnu/sys/select.h"
extern int pselect(int __nfds , fd_set * __restrict __readfds , fd_set * __restrict __writefds ,
fd_set * __restrict __exceptfds , struct timespec const * __restrict __timeout ,
__sigset_t const * __restrict __sigmask ) ;
#line 69 "/usr/include/x86_64-linux-gnu/sys/resource.h"
extern __attribute__((__nothrow__)) int ( __attribute__((__leaf__)) setrlimit)(__rlimit_resource_t __resource ,
struct rlimit const *__rlimits ) ;
#line 146 "/usr/include/fcntl.h"
extern int ( __attribute__((__nonnull__(1))) open)(char const *__file , int __oflag
, ...) ;
#line 50 "/usr/include/x86_64-linux-gnu/bits/errno.h"
extern __attribute__((__nothrow__)) int *( __attribute__((__leaf__)) __errno_location)(void) __attribute__((__const__)) ;
#line 170 "/usr/include/stdio.h"
extern struct _IO_FILE *stderr ;
#line 356
extern int fprintf(FILE * __restrict __stream , char const * __restrict __format
, ...) ;
#line 364
extern __attribute__((__nothrow__)) int sprintf(char * __restrict __s , char const * __restrict __format
, ...) ;
#line 433
extern __attribute__((__nothrow__)) int ( __attribute__((__leaf__)) sscanf)(char const * __restrict __s ,
char const * __restrict __format
, ...) __asm__("__isoc99_sscanf") ;
{
long int quot;
long int rem;
} ldiv_t;
__extension__ typedef struct
{
long long int quot;
long long int rem;
} lldiv_t;
extern size_t __ctype_get_mb_cur_max (void) __attribute__ ((__nothrow__ , __leaf__)) ;
extern double atof (__const char *__nptr)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
extern int atoi (__const char *__nptr)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
extern long int atol (__const char *__nptr)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
__extension__ extern long long int atoll (__const char *__nptr)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1))) ;
extern double strtod (__const char *__restrict __nptr,
char **__restrict __endptr)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1))) ;
*no_anchors = (size_t) dims[0];
*anchors = (vector2 *) calloc(*no_anchors, sizeof(vector2));
memspace = H5Screate_simple(2, dims, NULL);
H5Dread(dataset, H5T_NATIVE_FLOAT, memspace, dataspace, H5P_DEFAULT,
*anchors);
H5Dclose(dataset);
H5Sclose(dataspace);
H5Sclose(memspace);
return 0;
}
int __attribute__((__nonnull__(1,5,6,7)))
ls2_hdf5_read_locbased(const char *filename, ls2_output_variant variant,
vector2 **anchors, size_t *no_anchors,
float **results, uint16_t *width, uint16_t *height)
{
hid_t file, dataset, dataspace, memspace;
hsize_t dims[2];
int rank, ret;
file = H5Fopen(filename, H5F_ACC_RDONLY, H5P_DEFAULT);
// Read the anchors.
if (anchors != NULL && no_anchors != NULL) {
ret = ls2_hdf5_read_anchors(file, anchors, no_anchors);
if (ret < 0)
return ret;
, ...) ;
#line 337
extern int printf(char const * __restrict __format , ...) ;
#line 11 "em3d.h"
int n_nodes ;
#line 12 "em3d.h"
int d_nodes ;
#line 13 "em3d.h"
int iters ;
#line 36
void compute_nodes(node_t *nodelist ) ;
#line 13 "make_graph.h"
graph_t initialize_graph(void) ;
#line 148 "/usr/include/stdlib.h"
extern __attribute__((__nothrow__)) int atoi(char const *__nptr ) __attribute__((__pure__,
__nonnull__(1))) ;
#line 395
extern __attribute__((__nothrow__)) double drand48(void) ;
#line 399
extern __attribute__((__nothrow__)) long lrand48(void) ;
#line 409
extern __attribute__((__nothrow__)) void srand48(long __seedval ) ;
#line 471
extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
#line 488
extern __attribute__((__nothrow__)) void free(void *__ptr ) ;
#line 531
extern __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;
#line 5 "util.c"
void init_random(int myid )
{ int __cil_tmp2 ;
#include "generics.h"
static int default_probe(void)
{
return 1;
}
struct efi_var_operations default_ops = {
.name = "default",
.probe = default_probe,
};
struct efi_var_operations *ops = NULL;
int
__attribute__((__nonnull__ (2, 3)))
__attribute__((__visibility__ ("default")))
_efi_set_variable(efi_guid_t guid, const char *name, uint8_t *data,
size_t data_size, uint32_t attributes)
{
int rc;
rc = ops->set_variable(guid, name, data, data_size, attributes, 0600);
if (rc < 0)
efi_error("ops->set_variable() failed");
return rc;
}
__asm__(".symver _efi_set_variable,_efi_set_variable@");
int
__attribute__((__nonnull__ (2, 3)))
__attribute__((__visibility__ ("default")))
extern int registerBase_MMU; #line 14 "MMU.h" extern int registerLimit_MMU; #line 15 "MMU.h" extern int registerMAR_MMU; # 6 "Processor.c" 2 # 6 "Clock.h" 1 void Clock_Update(); #line 7 "Clock.h" int Clock_GetTime(); # 7 "Processor.c" 2 # 1 "/usr/include/string.h" 1 3 4 # 28 "/usr/include/string.h" 3 4 # 1 "/usr/lib/gcc/x86_64-linux-gnu/4.4.5/include/stddef.h" 1 3 4 # 45 "/usr/include/string.h" 2 3 4 extern void *memcpy(void *__restrict __dest, __const void *__restrict __src, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ; #line 49 "/usr/include/string.h" extern void *memmove(void *__dest, __const void *__src, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ; #line 58 "/usr/include/string.h" extern void *memccpy(void *__restrict __dest, __const void *__restrict __src, int __c, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ; #line 64 "/usr/include/string.h" extern void *memset(void *__s, int __c, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1 ) )) ; #line 68 "/usr/include/string.h" extern int memcmp(__const void *__s1, __const void *__s2, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __pure__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ; #line 95 "/usr/include/string.h" extern void *memchr(__const void *__s, int __c, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __pure__ )) __attribute__ (( __nonnull__ ( 1 ) )) ; # 94 "/usr/include/string.h" 3 4 # 128 "/usr/include/string.h" 3 4 extern char *strcpy(char *__restrict __dest, __const char *__restrict __src) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ; #line 132 "/usr/include/string.h" extern char *strncpy(char *__restrict __dest, __const char *__restrict __src, size_t __n) __attribute__ (( __nothrow__ )) __attribute__ (( __nonnull__ ( 1, 2 ) )) ;
} Pcc_cell;
int gi;
int cond;
extern void abort ();
extern void never_ever(int interp, struct PMC *pmc)
__attribute__((noinline,noclone));
void never_ever (int interp, struct PMC *pmc)
{
abort ();
}
static void mark_cell(int * interp, Pcc_cell *c)
__attribute__((__nonnull__(1)));
static void
mark_cell(int * interp, Pcc_cell *c)
{
if (!cond)
return;
if (c && c->type == 4 && c->p
&& !(c->p->flags & (1<<18)))
never_ever(gi + 1, c->p);
if (c && c->type == 4 && c->p
&& !(c->p->flags & (1<<17)))
never_ever(gi + 2, c->p);
if (c && c->type == 4 && c->p
&& !(c->p->flags & (1<<16)))
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-isolate-paths" } */
/* { dg-skip-if "" keeps_null_pointer_checks } */
typedef long unsigned int size_t;
extern void *memset (void *__s, int __c, size_t __n)
__attribute__ ((__nothrow__, __leaf__)) __attribute__ ((__nonnull__ (1)));
struct rtx_def;
typedef struct rtx_def *rtx;
typedef struct VEC_rtx_base
{
unsigned num;
unsigned alloc;
rtx vec[1];
} VEC_rtx_base;
static __inline__ rtx *
VEC_rtx_base_address (VEC_rtx_base * vec_)
{
return vec_ ? vec_->vec : 0;
}
typedef struct VEC_rtx_gc
{
VEC_rtx_base base;
} VEC_rtx_gc;
static __inline__ void
VEC_rtx_gc_safe_grow (VEC_rtx_gc ** vec_, int size_, const char *file_,
unsigned line_, const char *function_)
{
#line 110 "/usr/include/sys/types.h"
typedef __ssize_t ssize_t;
#line 471 "/usr/include/stdlib.h"
extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
#line 2 "./assert.h"
void __blast_assert(void)
{
{
ERROR:
#line 4
goto ERROR;
}
}
#line 87 "/usr/include/fcntl.h"
extern int open(char const *__file , int __oflag , ...) __attribute__((__nonnull__(1))) ;
#line 8 "files/fo_test.c"
extern int __VERIFIER_nondet_int(void);
int open(char const *__file, int __oflag, ...) {
int tmp = __VERIFIER_nondet_int();
return tmp;
}
int globalState = 0;
#line 9
ssize_t l_read(int fd , char *cbuf , size_t count ) ;
#line 10
int l_open(char *file , int flags ) ;
#line 12 "files/fo_test.c"
int main(int argc , char **argv )
{ int file ;
int tmp ;
/* { dg-skip-if "ptxas times out" { nvptx-*-* } { "*" } { "-O0" } } */
__extension__ typedef __SIZE_TYPE__ size_t;
__extension__ typedef long long int __quad_t;
__extension__ typedef unsigned int __mode_t;
__extension__ typedef __quad_t __off64_t;
typedef __mode_t mode_t;
typedef __off64_t off_t;
struct timeval {};
typedef struct {} fd_set;
typedef union {} __pthread_slist_t;
typedef union {
struct __pthread_mutex_s { __extension__ union { }; } __data;
};
extern int stat64 (__const char *__restrict __file, struct stat64 *__restrict __buf) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
extern int fstatat64 (int __fd, __const char *__restrict __file, struct stat64 *__restrict __buf, int __flag) __attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (2, 3)));
enum __socket_type { SOCK_STREAM = 1, };
enum { SI_ASYNCNL = -60, };
enum { CLD_EXITED = 1, };
typedef struct sigaltstack { } stack_t;
enum __rlimit_resource { __RLIMIT_SIGPENDING = 11, };
struct rlimit { };
enum __priority_which { PRIO_PROCESS = 0, };
typedef union { } __WAIT_STATUS __attribute__ ((__transparent_union__));
union wait {
struct { } __wait_stopped;
};
typedef enum { P_ALL, } idtype_t;
struct utsname { };
enum { IPPROTO_IP = 0, };
enum { IPPORT_ECHO = 7, };
struct in_addr { };
#line 242
extern int fflush(FILE *__stream ) ;
#line 272
extern FILE *fopen(char const * __restrict __filename , char const * __restrict __modes ) ;
#line 364
extern __attribute__((__nothrow__)) int sprintf(char * __restrict __s , char const * __restrict __format
, ...) ;
#line 379
extern __attribute__((__nothrow__)) int vsprintf(char * __restrict __s , char const * __restrict __format ,
__gnuc_va_list __arg ) ;
#line 622
extern char *fgets(char * __restrict __s , int __n , FILE * __restrict __stream ) ;
#line 689
extern int fputs(char const * __restrict __s , FILE * __restrict __stream ) ;
#line 129 "/usr/include/string.h"
extern __attribute__((__nothrow__)) char *( __attribute__((__nonnull__(1,2), __leaf__)) strcpy)(char * __restrict __dest ,
char const * __restrict __src ) ;
#line 132
extern __attribute__((__nothrow__)) char *( __attribute__((__nonnull__(1,2), __leaf__)) strncpy)(char * __restrict __dest ,
char const * __restrict __src ,
size_t __n ) ;
#line 236
extern __attribute__((__nothrow__)) char *( __attribute__((__nonnull__(1), __leaf__)) strchr)(char const *__s ,
int __c ) __attribute__((__pure__)) ;
#line 342
extern __attribute__((__nothrow__)) char *( __attribute__((__nonnull__(1,2), __leaf__)) strstr)(char const *__haystack ,
char const *__needle ) __attribute__((__pure__)) ;
#line 399
extern __attribute__((__nothrow__)) size_t ( __attribute__((__nonnull__(1), __leaf__)) strlen)(char const *__s ) __attribute__((__pure__)) ;
#line 717 "/usr/include/stdlib.h"
extern int system(char const *__command ) ;
/* The exported structure is:
* struct {
* uint32_t magic;
* uint32_t version;
* uint64_t attr;
* efi_guid_t guid;
* uint32_t name_len;
* uint32_t data_len;
* char16_t name[];
* uint8_t data[];
* uint32_t magic;
* }
*/
ssize_t
__attribute__((__nonnull__ (1, 3)))
__attribute__((__visibility__ ("default")))
efi_variable_import(uint8_t *data, size_t size, efi_variable_t **var_out)
{
efi_variable_t var;
size_t min = sizeof (uint32_t) * 2 /* magic */
+ sizeof (uint32_t) /* version */
+ sizeof (uint64_t) /* attr */
+ sizeof (efi_guid_t) /* guid */
+ sizeof (uint32_t) * 2 /* name_len and data_len */
+ sizeof (char16_t) /* two bytes of name */
+ 1; /* one byte of data */
errno = EINVAL;
if (size <= min)
return -1;
__value;
} __mbstate_t;
typedef struct {
__off_t __pos;
__mbstate_t __state;
} _G_fpos_t;
typedef struct {
__off64_t __pos;
__mbstate_t __state;
} _G_fpos64_t;
typedef unsigned int _G_uint16_t __attribute__ ((__mode__ (__HI__)));
typedef struct _IO_FILE _IO_FILE;
extern struct _IO_FILE_plus _IO_2_1_stderr_;
extern int fputs (__const char *__restrict __s, FILE * __restrict __stream);
extern char *strstr (__const char *__haystack, __const char *__needle)
__attribute__ ((__nonnull__ (1, 2)));
extern char *rindex (__const char *__s, int __c) __attribute__ ((__nonnull__ (1)));
extern size_t strlen (__const char *__s) __attribute__ ((__nothrow__))
__attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1)));
char *mystrlwr (char *string);
char *m_replace_filename (const char *path, const char *filename);
typedef struct LINE {
char *text;
struct LINE *next;
int flags;
} LINE;
typedef struct TOC {
char *text;
char *alt;
struct TOC *next;
int root;
}
/************************************************************
* gpt_disk_get_partition_info()
* Requires:
* - open file descriptor fd
* - start, size, signature, mbr_type, signature_type
* Modifies: all these
* Returns:
* 0 on success
* non-zero on failure
*
************************************************************/
int
__attribute__((__nonnull__ (3, 4, 5, 6, 7)))
__attribute__((__visibility__ ("hidden")))
gpt_disk_get_partition_info(int fd, uint32_t num, uint64_t * start,
uint64_t * size, uint8_t *signature,
uint8_t * mbr_type, uint8_t * signature_type,
int ignore_pmbr_error)
{
gpt_header *gpt = NULL;
gpt_entry *ptes = NULL, *p;
int rc = 0;
char *report=getenv("LIBEFIBOOT_REPORT_GPT_ERRORS");
if (report)
report_errors = 1;
rc = find_valid_gpt(fd, &gpt, &ptes, ignore_pmbr_error);
extern double exp (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __exp (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double frexp (double __x, int *__exponent) __attribute__ ((__nothrow__ , __leaf__)); extern double __frexp (double __x, int *__exponent) __attribute__ ((__nothrow__ , __leaf__)); extern double ldexp (double __x, int __exponent) __attribute__ ((__nothrow__ , __leaf__)); extern double __ldexp (double __x, int __exponent) __attribute__ ((__nothrow__ , __leaf__)); extern double log (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __log (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double log10 (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __log10 (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double modf (double __x, double *__iptr) __attribute__ ((__nothrow__ , __leaf__)); extern double __modf (double __x, double *__iptr) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (2))); #126 "/usr/include/x86_64-linux-gnu/bits/mathcalls.h" 3 4 extern double expm1 (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __expm1 (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double log1p (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __log1p (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double logb (double __x) __attribute__ ((__nothrow__ , __leaf__)); extern double __logb (double __x) __attribute__ ((__nothrow__ , __leaf__)); #151 "/usr/include/x86_64-linux-gnu/bits/mathcalls.h" 3 4
}
const struct region *
find_region (const struct regions *regions, uint64_t offset)
{
return bsearch (&offset, regions->regions, regions->nr_regions,
sizeof (struct region), compare_offset);
}
/* This is the low level function for constructing the list of
* regions. It appends one region to the list, checking that the
* invariants described above (about the regions being non-overlapping
* and contiguous) is maintained. Note it is not possible to
* construct regions out of order using this function.
*/
static int __attribute__((__nonnull__ (1)))
append_one_region (struct regions *regions, struct region region)
{
struct region *p;
/* The assertions in this function are meant to maintain the
* invariant about the array as described at the top of this file.
*/
assert (region.start == virtual_size (regions));
assert (region.len > 0);
assert (region.end >= region.start);
assert (region.len == region.end - region.start + 1);
p = realloc (regions->regions,
(regions->nr_regions+1) * sizeof (struct region));
if (p == NULL) {
static void *xmalloc(size_t) __attribute__ ((__malloc__));
#endif
static void *xmalloc(size_t bytes)
{
void *p;
if ((p = malloc(bytes)) == NULL) {
if (sent_sigstop) kill(-1, SIGCONT);
nsyslog(LOG_ERR, "out of memory");
exit(1);
}
return p;
}
#ifdef __GNUC__
static inline void xmemalign(void **, size_t, size_t) __attribute__ ((__nonnull__ (1)));
#endif
static inline void xmemalign(void **memptr, size_t alignment, size_t size)
{
if ((posix_memalign(memptr, alignment, size)) < 0) {
if (sent_sigstop) kill(-1, SIGCONT);
nsyslog(LOG_ERR, "out of memory");
exit(1);
}
}
/*
* See if the proc filesystem is there. Mount if needed.
*/
int mount_proc(void)
{
typedef long unsigned int size_t;
extern void *memcpy (void *__restrict __dest,
__const void *__restrict __src, size_t __n)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1, 2)));
extern void *memmove (void *__dest, __const void *__src, size_t __n)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1, 2)));
extern void *memccpy (void *__restrict __dest, __const void *__restrict __src,
int __c, size_t __n)
__attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__nonnull__ (1, 2)));
void *__pad4 ;
size_t __pad5 ;
int _mode ;
char _unused2[(15UL * sizeof(int ) - 4UL * sizeof(void *)) - sizeof(size_t )] ;
};
#line 14 "/home/wslee/benchmarks/sound/brutefir-1.0f/defs.h"
typedef int bool_t;
#line 147 "/usr/include/stdio.h"
extern struct _IO_FILE *stderr ;
#line 333
extern int fprintf(FILE * __restrict __stream , char const * __restrict __format
, ...) ;
#line 543 "/usr/include/stdlib.h"
extern __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) ;
#line 142 "/usr/include/string.h"
extern __attribute__((__nothrow__)) int ( __attribute__((__nonnull__(1,2))) strcmp)(char const *__s1 ,
char const *__s2 ) __attribute__((__pure__)) ;
#line 411
extern __attribute__((__nothrow__)) char *strerror(int __errnum ) ;
#line 43 "/usr/include/bits/errno.h"
extern __attribute__((__nothrow__)) int *__errno_location(void) __attribute__((__const__)) ;
#line 493 "/usr/include/unistd.h"
extern __attribute__((__nothrow__)) int ( __attribute__((__nonnull__(1))) chdir)(char const *__path ) ;
#line 684
extern __attribute__((__nothrow__)) __pid_t setsid(void) ;
#line 773
extern __attribute__((__nothrow__)) __pid_t fork(void) ;
#line 312 "/usr/include/sys/stat.h"
extern __attribute__((__nothrow__)) __mode_t umask(__mode_t __mask ) ;
#line 25 "/home/wslee/benchmarks/sound/brutefir-1.0f/emalloc.h"
extern void emalloc_set_exit_function(void (*exit_function)(int ) , int status ) ;
#line 214 "/usr/include/stdio.h"
extern int fclose(FILE *__stream ) ;
#line 249
extern FILE *fopen(char const * __restrict __filename , char const * __restrict __modes ) ;
#line 339
extern int printf(char const * __restrict __format , ...) ;
#line 407
extern int fscanf(FILE * __restrict __stream , char const * __restrict __format
, ...) __asm__("__isoc99_fscanf") ;
#line 513
extern int fgetc(FILE *__stream ) ;
#line 471 "/usr/include/stdlib.h"
extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
#line 43 "/usr/include/string.h"
extern __attribute__((__nothrow__)) void *memcpy(void * __restrict __dest , void const * __restrict __src ,
size_t __n ) __attribute__((__nonnull__(1,2))) ;
#line 337 "/usr/include/resolv.h"
extern __attribute__((__nothrow__)) int __dn_skipname(u_char const * , u_char const * ) ;
#line 71 "/usr/include/assert.h"
extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
char const *__file ,
unsigned int __line ,
char const *__function ) ;
#line 81 "iquery-ok.c"
#pragma ccuredvararg("scanf",printf(1))
#line 85 "iquery-ok.c"
int something ;
#line 88 "iquery-ok.c"
static enum req_action req_iquery(HEADER *hp , u_char **cpp , u_char *eom , int *buflenp ,
u_char *msg )
{ int dlen ;
#line 106 "/usr/include/bits/pthreadtypes.h"
typedef union __anonunion_pthread_mutexattr_t_5 pthread_mutexattr_t;
#line 11 "queue_bad.c"
struct __anonstruct_QType_29 {
int element[20] ;
int head ;
int tail ;
int amount ;
};
#line 11 "queue_bad.c"
typedef struct __anonstruct_QType_29 QType;
#line 225 "/usr/include/pthread.h"
extern __attribute__((__nothrow__)) int pthread_create(pthread_t * __restrict __newthread ,
pthread_attr_t const * __restrict __attr ,
void *(*__start_routine)(void * ) ,
void * __restrict __arg ) __attribute__((__nonnull__(1,3))) ;
#line 242
extern int pthread_join(pthread_t __th , void **__thread_return ) ;
#line 733
extern __attribute__((__nothrow__)) int pthread_mutex_init(pthread_mutex_t *__mutex ,
pthread_mutexattr_t const *__mutexattr ) __attribute__((__nonnull__(1))) ;
#line 746
extern __attribute__((__nothrow__)) int pthread_mutex_lock(pthread_mutex_t *__mutex ) __attribute__((__nonnull__(1))) ;
#line 757
extern __attribute__((__nothrow__)) int pthread_mutex_unlock(pthread_mutex_t *__mutex ) __attribute__((__nonnull__(1))) ;
#line 359 "/usr/include/stdio.h"
extern int printf(char const * __restrict __format , ...) ;
#line 18 "queue_bad.c"
pthread_mutex_t m ;
#line 19
extern int __VERIFIER_nondet_int() ;
#ifndef ANGELIX_OUTPUT
#define ANGELIX_OUTPUT(type, expr, id) expr
#endif
/* Generated by CIL v. 1.7.3 */
/* print_CIL_Input is true */
//#line 212 "/usr/lib/gcc/x86_64-linux-gnu/4.8/include/stddef.h"
typedef unsigned long size_t;
//#line 362 "/usr/include/stdio.h"
extern int printf(char const * __restrict __format , ...) ;
//#line 147 "/usr/include/stdlib.h"
extern __attribute__((__nothrow__)) int ( __attribute__((__nonnull__(1), __leaf__)) atoi)(char const *__nptr ) __attribute__((__pure__)) ;
//#line 35 "/home/jlee/Work/semfix/semfix-klee/include/klee/klee.h"
// extern void klee_make_symbolic(void *addr , size_t nbytes , char const *name ) ;
//#line 5 "test.c"
int tmp___cond ;
//#line 6 "test.c"
int inject_var ;
//#line 7 "test.c"
int expect_out ;
//#line 38
extern int ( /* missing proto */ __assert_fail)() ;
//#line 9 "test.c"
int main(int argc , char **argv )
{
int bias ;
int inhibit ;
int up_sep ;
int down_sep ;
int result ;
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/socket.h>
#include <efivar.h>
#include <efiboot.h>
#include "disk.h"
#include "dp.h"
#include "linux.h"
#include "list.h"
#include "util.h"
static int
__attribute__((__nonnull__ (1,2,3)))
find_file(const char const *filepath, char **devicep, char **relpathp)
{
struct stat fsb = { 0, };
int rc;
int ret = -1;
FILE *mounts = NULL;
char linkbuf[PATH_MAX+1] = "";
ssize_t linklen = 0;
if (!filepath || !devicep || !relpathp) {
errno = EINVAL;
return -1;
}
linklen = strlen(filepath);
/* PR tree-optimization/51315 */
/* Reported by Jurij Smakov <*****@*****.**> */
typedef unsigned int size_t;
extern void *memcpy (void *__restrict __dest,
__const void *__restrict __src, size_t __n)
__attribute__ ((__nothrow__)) __attribute__ ((__nonnull__ (1, 2)));
extern size_t strlen (__const char *__s)
__attribute__ ((__nothrow__)) __attribute__ ((__pure__)) __attribute__ ((__nonnull__ (1)));
typedef __INT16_TYPE__ int16_t;
typedef __INT32_TYPE__ int32_t;
extern void abort (void);
int a;
static void __attribute__ ((noinline,noclone))
do_something (int item)
{
a = item;
}
int
pack_unpack (char *s, char *p)
{
char *send, *pend;
char type;
int integer_size;
/* Generated by CIL v. 1.3.6 */
/* print_CIL_Input is false */
typedef unsigned int size_t;
extern __attribute__((__nothrow__)) char *strcpy(char * __restrict __dest ,
char const * __restrict __src ) __attribute__((__nonnull__(1,2))) ;
extern __attribute__((__nothrow__)) size_t strlen(char const *__s ) __attribute__((__pure__,
__nonnull__(1))) ;
int main(void)
{ char *gecos ;
char *login ;
char *buf ;
char *p ;
char *bp ;
int l ;
char tmp ;
size_t tmp_0 ;
char *tmp_1 ;
int __retres ;
{{tmp = (char )taint();
*(gecos + 0) = tmp;
*(login + 0) = tmp;}
bp = buf;
if ((int )*gecos == '*') {gecos ++;}
l = 0;
p = gecos;
while (1) {if ((int )*p != '\000')
{if ((int )*p != ',')
extern int strncmp(char const *s1 , char const *s2 , unsigned long maxlen ) ;
extern int gettimeofday(struct timeval *tv , void *tz , ...) ;
extern int printf(char const * __restrict __format , ...) ;
int main(void) ;
extern unsigned long strlen(char const *s ) ;
char const *_1_main_$strings = "%d\000%ld%ld\000%ld\000%ld\n\000";
void megaInit(void) ;
extern long strtol(char const *str , char const *endptr , int base ) ;
union _1_main_$node {
void *_void_star ;
unsigned long _unsigned_long ;
long _long ;
int _int ;
};
extern unsigned long strnlen(char const *s , unsigned long maxlen ) ;
extern __attribute__((__nothrow__)) void *( __attribute__((__nonnull__(1), __leaf__)) memset)(void *__s ,
int __c ,
size_t __n ) ;
extern void *memcpy(void *s1 , void const *s2 , unsigned long size ) ;
struct timeval {
long tv_sec ;
long tv_usec ;
};
extern void *malloc(unsigned long size ) ;
extern int scanf(char const * __restrict __format , ...) __asm__("__isoc99_scanf") ;
void megaInit(void)
{
{
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-isolate-paths -fdump-tree-phicprop1" } */
extern void foo(void *) __attribute__ ((__nonnull__ (1)));
int z;
void
com (int a)
{
foo (a == 42 ? &z : (void *) 0);
}
void
bar (void)
{
foo ((void *)0);
}
/* We testing that the path isolation code can take advantage of the
returns non-null attribute to isolate a path where NULL flows into
a return statement.
We also verify that after isolation phi-cprop simplifies the
return statement so that it returns &z directly.
/* { dg-final { scan-tree-dump-times "__builtin_trap" 2 "isolate-paths"} } */
/* { dg-final { scan-tree-dump-times "foo .&z.;" 1 "phicprop1"} } */
/* { dg-final { cleanup-tree-dump "isolate-paths" } } */
/* { dg-final { cleanup-tree-dump "phicprop1" } } */
extern FILE *fopen(char const * __restrict __filename , char const * __restrict __modes ) ;
extern int fprintf(FILE * __restrict __stream , char const * __restrict __format , ...) ;
extern int printf(char const * __restrict __format , ...) ;
extern int getc_unlocked(FILE *__stream ) ;
extern int putchar_unlocked(int __c ) ;
extern int ungetc(int __c , FILE *__stream ) ;
extern int fputs_unlocked(char const * __restrict __s , FILE * __restrict __stream ) ;
extern size_t fwrite_unlocked(void const * __restrict __ptr , size_t __size , size_t __n , FILE * __restrict __stream ) ;
extern __attribute__((__nothrow__)) void clearerr_unlocked(FILE *__stream ) __attribute__((__leaf__)) ;
extern __attribute__((__nothrow__)) int feof_unlocked(FILE *__stream ) __attribute__((__leaf__)) ;
extern __attribute__((__nothrow__)) int ferror_unlocked(FILE *__stream ) __attribute__((__leaf__)) ;
extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion , char const *__file , unsigned int __line , char const *__function ) __attribute__((__leaf__)) ;
extern char *optarg ;
extern int optind ;
extern __attribute__((__nothrow__)) int getopt_long(int ___argc , char * const *___argv , char const *__shortopts , struct option const *__longopts , int *__longind ) __attribute__((__leaf__)) ;
extern __attribute__((__nothrow__)) int strcmp(char const *__s1 , char const *__s2 ) __attribute__((__pure__, __nonnull__(1,2), __leaf__)) ;
extern __attribute__((__nothrow__)) int strncmp(char const *__s1 , char const *__s2 , size_t __n ) __attribute__((__pure__, __nonnull__(1,2), __leaf__)) ;
extern __attribute__((__nothrow__)) size_t strspn(char const *__s , char const *__accept ) __attribute__((__pure__, __nonnull__(1,2), __leaf__)) ;
extern __attribute__((__nothrow__)) size_t strlen(char const *__s ) __attribute__((__pure__, __nonnull__(1), __leaf__)) ;
extern __attribute__((__nothrow__)) int *__errno_location(void) __attribute__((__leaf__, __const__)) ;
extern __attribute__((__nothrow__)) void free(void *__ptr ) __attribute__((__leaf__)) ;
extern __attribute__((__nothrow__)) int atexit(void (*__func)(void) ) __attribute__((__nonnull__(1), __leaf__)) ;
extern __attribute__((__nothrow__, __noreturn__)) void exit(int __status ) __attribute__((__leaf__)) ;
extern void qsort(void *__base , size_t __nmemb , size_t __size , int (*__compar)(void const * , void const * ) ) __attribute__((__nonnull__(1,4))) ;
extern char const *Version ;
extern __attribute__((__nothrow__)) unsigned short const **__ctype_b_loc(void) __attribute__((__leaf__, __const__)) ;
__inline static unsigned char to_uchar(char ch )
{
{
return ((unsigned char )ch);
extern unsigned long strtoul(char const *str , char const *endptr , int base ) ;
extern void abort() ;
extern int fprintf(struct _IO_FILE *stream , char const *format , ...) ;
unsigned int BPHash(char *str , unsigned int len ) ;
extern unsigned long strnlen(char const *s , unsigned long maxlen ) ;
extern int rand() ;
extern int gettimeofday(struct timeval *tv , void *tz , ...) ;
extern void signal(int sig , void *func ) ;
extern float strtof(char const *str , char const *endptr ) ;
extern int strncmp(char const *s1 , char const *s2 , unsigned long maxlen ) ;
extern int raise(int sig ) ;
extern void *fopen(char const *filename , char const *mode ) ;
extern double strtod(char const *str , char const *endptr ) ;
extern void *malloc(unsigned long size ) ;
typedef unsigned long size_t;
extern __attribute__((__nothrow__)) size_t ( __attribute__((__nonnull__(1), __leaf__)) strlen)(char const *__s ) __attribute__((__pure__)) ;
typedef struct _IO_FILE FILE;
extern void exit(int status ) ;
void megaInit(void) ;
void megaInit(void)
{
{
}
}
unsigned int BPHash(char *str , unsigned int len )
{
unsigned int hash ;
unsigned int i ;
signed char _vtable_offset ;
char _shortbuf[1] ;
_IO_lock_t *_lock ;
__off64_t _offset ;
void *__pad1 ;
void *__pad2 ;
void *__pad3 ;
void *__pad4 ;
size_t __pad5 ;
int _mode ;
char _unused2[(15UL * sizeof(int ) - 4UL * sizeof(void *)) - sizeof(size_t )] ;
};
#line 237 "/usr/include/unistd.h"
typedef __uid_t uid_t;
#line 64 "/usr/include/dlfcn.h"
extern __attribute__((__nothrow__)) void *( __attribute__((__nonnull__(2), __leaf__)) dlsym)(void * __restrict __handle ,
char const * __restrict __name ) ;
#line 82
extern __attribute__((__nothrow__)) char *( __attribute__((__leaf__)) dlerror)(void) ;
#line 364 "/usr/include/stdio.h"
extern __attribute__((__nothrow__)) int sprintf(char * __restrict __s , char const * __restrict __format
, ...) ;
#line 366 "/usr/include/unistd.h"
extern ssize_t write(int __fd , void const *__buf , size_t __n ) ;
#line 534
extern __attribute__((__nothrow__)) int ( __attribute__((__leaf__)) dup2)(int __fd ,
int __fd2 ) ;
#line 573
extern __attribute__((__nothrow__)) int ( __attribute__((__nonnull__(1,2), __leaf__)) execl)(char const *__path ,
char const *__arg
, ...) ;