12:36 mmokhi 

devel/csmith: Update csmith to 2.3.0
This new version contains many changes including:
. Added a CMake-based build system (as well as Autoconf-based system).
. Improved ability to generate C++-compatible code:
    First, the command-line option --lang-cpp now sets other
    options automatically (--match-exact-qualifiers,
    --no-vol-struct-union-fields, and
    --no-const-struct-union-fields).
    Second, the new command-line option --cpp11 tells Csmith to generate
    C++11-compatible code. The default is to generate C++03-compatible code.

. Added command-line options:
    --global-variables / --no-global-variables: allow or disallow global
        variables (allowed by default)
    --const-struct-union-fields / --no-const-struct-union-fields: allow or
        disallow const fields in structs and unions (allowed by default)
    --strict-float to disallow assignments
        between floats and integers. Unless this option is specified, such
        assignments are allowed.
    --fast-execution that biases Csmith toward
        generating faster programs.

. Removed --deputy command-line option, which previously caused Csmith to
    output annotations for Deputy, a dependent type system for C.

Reviewed by:	mat (mentor)
Approved by:	mat (mentor)
Differential Revision:	https://reviews.freebsd.org/D11337

 

20:51 pawel 

- Update to version 2.2.0
- Add new maintainer's mirror to MASTER_SITES
- Submitter is new maintainer
- Add PKGNAME to PLIST_SUB and use it to parameterize include directory

PR:		196424
Submitted by:	 A.J. "Fonz" van Werven <freebsd@skysmurf.nl>

 

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)