[klee-dev] Error when symbolic structure

[HAN WANG]

Hi,
When I’m trying to make structure a symbolic using a simple demo, it shows
the following error
code:
struct Data{
int a;
int b;
};
int get_sign(struct Data ss)
{
struct Data{
int a;
int b;
};
if (ss.a==0)
return 0;
if (ss.a<0)
return -1;
else return 1;
}
int main(){
struct Data{
int a;
int b;
}test;
test.a=1;
klee_make_symbolic (test,sizeof(test), "test");
return get_sign(test);
}
When I use command: llvm-gcc --emit-llvm -c -g get_sign.c, it shows that
get_sign.c: In function ‘main’:
get_sign.c:28: error: incompatible type for argument 1 of ‘get_sign’
get_sign.c:28: error: expected declaration or statement at end of input.
Could you help me with this?


-- 
Hannah Wang
Electrical Engineering Department, UCLA
-------------- next part --------------
HTML attachment scrubbed and removed