Project

General

Profile

Bug #7397

seg fault in interpoating

Added by Sepideh Asadi 11 months ago.

Status:
New
Priority:
Normal
Assignee:
Start date:
24/05/2018
Due date:
% Done:

0%

Estimated time:

Description

how to run
./hifrog --sum-theoref file.c

int func1(int n)

{

int i, t1 = 0, t2 = 1, nextTerm=1;
if(n>0){
for (i = 1; i <= 2; ++i) {
nextTerm =nextTerm + n* t1 + t2;
t1 = t2;
t2 = nextTerm + t2;
}
return nextTerm % n;
}
else return n%2;
}
int main()
            {
unsigned int a = nondet();
unsigned int b = nondet();
int c = a;
int d = b;
int p = func1( a)+func1( b);
assert (p*p >= 0);
int q = func1(c)+func1(d);
assert(p q);
assert(p % q 0);
return 0;
}

Also available in: Atom PDF