cbmc.c

struct X { int a; };
 
typedef const _Bool inteiro;
 
const unsigned int d = 10;
const unsigned int c = d;
const unsigned int f = d;

int fun4(int x, int y) { return x/f; }

int main()
{
  int x;
  x = fun4(1,0);
}

esbmc.c

struct X { int a; };
 
typedef const _Bool inteiro;
 
const unsigned int d = 10;
const unsigned int c = d;
 
int fun4(int x, int y) { return x/c; }

int main()
{
  int x;
  x = fun4(1,0);
}