05:33 eadler 

- update to 2.1
- remove build patches

New features in this release:

- By default, functions and global variables are marked as "static" permitting
compilers to optimize more aggressivELY IN SOme cases.
- We now try harder to get auto-vectorizers and other loop optimizers in trouble
by generating code that is more idiomatic and therefore more likely to be
optimized. In particular, array indices are in-bounds by construction instead of
by using % operators.
- Unions are supported.
- The comma operator is supported, as in x = (y, 1, z, 3).
- Embedded assignments are supported, as in x = 1 + (y = z).
- The pre/post increment/decrement operators are supported.
- A --no-safe-math mode was added, which avoids calling the safe math wrappers.
This is useful when trying to crash compilers but the resulting executables
should not be run since they are very likely to have undefined behavior.

Feature safe:   yes

20:54 eadler 

Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. Thus, it is useful for
stress-testing compilers, static analyzers, and other tools that
process C code. Csmith has found bugs in every tool that it has
tested, and over the last several years we have used it to find
and report more than 350 previously-unknown compiler bugs.

WWW: http://embed.cs.utah.edu/csmith/

Approved by:    bapt (mentor)