diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-25 23:53:59 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-01 15:21:18 +0100 |
| commit | d7090d0e680fa348129b88ae9d140b97b3f7bf6c (patch) | |
| tree | ba8fb592a3adadef8214ca20d35cbda6c0b3eff0 /test/Programs | |
| parent | f42c42c6dade572d348b6ecfd5203f4eea15d208 (diff) | |
| download | klee-d7090d0e680fa348129b88ae9d140b97b3f7bf6c.tar.gz | |
[test] Fix compilation warning
Use correct definition and declaration of main function
Diffstat (limited to 'test/Programs')
| -rw-r--r-- | test/Programs/pcregrep.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Programs/pcregrep.c b/test/Programs/pcregrep.c index fb99ef87..5ed8f4fa 100644 --- a/test/Programs/pcregrep.c +++ b/test/Programs/pcregrep.c @@ -211,7 +211,7 @@ struct l_struct_2E_pcre { /* Function Declarations */ double fmod(double, double); float fmodf(float, float); -unsigned int main(unsigned int llvm_cbe_argc, unsigned char **llvm_cbe_argv); +int main(int llvm_cbe_argc, char **llvm_cbe_argv); unsigned int fprintf(struct l_struct_2E__IO_FILE *, unsigned char *, ...); unsigned int __strtol_internal(unsigned char *, unsigned char **, unsigned int , unsigned int ); unsigned int printf(unsigned char *, ...); @@ -319,7 +319,7 @@ static inline int llvm_fcmp_ogt(double X, double Y) { return X > Y ; } static inline int llvm_fcmp_ole(double X, double Y) { return X <= Y ; } static inline int llvm_fcmp_oge(double X, double Y) { return X >= Y ; } -unsigned int main(unsigned int llvm_cbe_argc, unsigned char **llvm_cbe_argv) { +int main(int llvm_cbe_argc, char **llvm_cbe_argv) { unsigned int llvm_cbe_length_i_i; /* Address-exposed local */ unsigned int llvm_cbe_firstbyte_i_i; /* Address-exposed local */ unsigned int llvm_cbe_reqbyte_i_i; /* Address-exposed local */ |