While compiling your package with our research compiler infrastructure we noticed the following conflicting declarations:
- kernel.c: long int bddproduced;
- reorder.c: extern int bddproduced;
For any architecture with sizeof(long)!=sizeof(int) this may cause undefined behaviour. In particular, big endian architectures will inevitably cause wrong counter values.
Log in to post a comment.