[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Checksum, different options

> I attach the program. Even if it doesn't confirm it's defined for my arch, at least (I suspect) if it's not defined for standard arch, it's not defined for mine either.

The program seems defined for usual ILP32 architectures. It seems
you will have to investigate.

After determining which global causes the difference in checksums (let's assume it's int G),
I like to replace in the program the regexp: /[*] block id: \([0-9]*\) [*]/
by: printf("block: %u, G: %d\n", \1, G);

Usually, if you are lucky, this does not perturb compilation enough to hide the bug,
and it suffices to determine where the execution traces diverge and/or where
G gets a different value.