I typed in the examples from the paper and tried them out with the Digital Mars ...

yan · on March 28, 2011

I emailed John Regehr asking when they're planning to publish Csmith, and he responded "Almost certainly sometime in April"

bokchoi · on March 28, 2011

Cfront or Csmith? :)

yan · on March 28, 2011

Er, Csmith, sorry;fixed.

beza1e1 · on March 28, 2011

I checked with cparser, too. No issues here as well. Waiting for the release of csmith.

regehr · on March 29, 2011

In the meantime, here's one:

  regehr@home:~/volatile/bugs/tmp007$ cparser --version
  cparser (0.9.11) using libFirm (1.18)
  This is free software; see the source for copying conditions.  There is NO
  warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

  regehr@home:~/volatile/bugs/tmp007$ cparser -c small.c
  cparser: ast2firm.c:3197: conditional_to_firm: Assertion `get_irn_mode(false_val) == mode' failed.
  Aborted
  regehr@home:~/volatile/bugs/tmp007$ cat small.c
  unsigned char foo (int ui1, unsigned char ui2)
  {
    return ui2 ? : ui1 + ui2;
  }

beza1e1 · on March 29, 2011

Well, that isn't valid C99 or even C89. It's yet another GNU extension to support. Thanks for the report, though!

beza1e1 · on March 30, 2011

BTW the bug is fixed in the repository version.