pkgsrc-WIP-changes archive

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

csmith: update to 2.3.0.



Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <tk%giga.or.at@localhost>
Pushed By:	wiz
Date:		Thu Sep 16 21:17:27 2021 +0200
Changeset:	09c2588a382d0ab1faa5f8609d8ec3dc55865ce3

Modified Files:
	csmith/Makefile
	csmith/distinfo

Log Message:
csmith: update to 2.3.0.

Changes since 2.2.0 release:

	Added a CMake-based build system.  The Autoconf-based build system
	still works and is still supported.

	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.  Thanks to Natalia Glagoleva for the
	implementation of these features.

	Added command-line options to control the presence of global variables
	in generated programs.
	--global-variables / --no-global-variables: allow or disallow global
	variables (allowed by default)

	Added command-line options to control the presence of const fields in
	struct and union types.  Thanks to Natalia Glagoleva for the
	implementation of these features.
	--const-struct-union-fields / --no-const-struct-union-fields: allow or
	disallow const fields in structs and unions (allowed by default)

	Added a command-line option --strict-float to disallow assignments
	between floats and integers.  Unless this option is specified, such
	assignments are allowed.

	Added a command-line option --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.

	Incorporated various fixes for choosing the random seed on various
	platforms.

	Incorporated fixes for compiling Csmith under MS Windows.

	Incorporated numerous bug fixes.

Changes since 2.1.0 release:

	Expanded documentation about configuring the probability values that
	Csmith uses to randomly generate programs.  See file
	"doc/probabilities.txt".

	Added ability to generate programs that use floating-point.  The use of
	floating-point is controlled by new command-line options --float and
	--no-float.  The default is --no-float.  Thanks to Alastair Donaldson
	for providing the initial implementation of this feature.

	Added ability to generate C++-compatible code, controlled by new
	command-line option --lang-cpp.  Thanks to Sweta Seethamraju for
	contributing greatly to this feature.  To generate C++-compatible code,
	use the command line below:
	csmith --lang-cpp --no-consts --no-volatiles

	Added two command-line options related to marking function as inline.
	--inline-function: enable or disable the functionality of marking a
	  function as inline (disabled by default)
	--inline-function-prob <num>: set the probability of marking each
	  function as inline, where <num> is an integer in the range [0, 100]
          (default is 50)

	Added command-line options for testing builtin functions.
	--builtins / --no-builtins: enable or disable invocations of builtin
	  functions (disabled by default)
	--builtin-function-prob <num>: set the probability of choosing a
	  builtin function (default is 50)
	--enable-builtin-kinds <k1>,<k2> / --disable-builtin-kinds <k1>,<k2>:
	  enable or disable certain builtins.  Currently, all builtins such as:
	    "UInt; __builtin_bswap32; (UInt)"
	  are be enabled by default.  Builtins with a <kind> flag will be
	  enabled only if "--enable-builtin-kinds <kind>" is passed.
	  All default builtins, i.e. those without a <kind> flag, can be
	  disabled by passing "--disable-builtin-kinds generic".
	See the list of builtins in file "src/Function.cpp".
	Thanks to Hal Finkel for helping to flesh out this feature.

	Removed command-line options --incr-decr-operators and
	--no-incr-decr-operators.  Added command-line options to enable and
	disable use of the various operators individually.
	--pre-incr-operator / --no-pre-incr-operator
	--pre-decr-operator / --no-pre-decr-operator
	--post-incr-operator / --no-post-incr-operator
	--post-decr-operator / --no-post-incr-operator
	All of the operators are enabled by default.

	Added command-line options to enable/disable use of the unary plus
	operator.
	--unary-plus-operator (default)
	--no-unary-plus-operator

	Added command-line options to enable/disable use of int8_t and uint8_t.
	--int8 / --no-int8
	--uint8 / --no-uint8
	Both types are allowed by default.

	Added command-line options to allow/disallow use of const pointers.
	--const-pointers (default)
	--no-const-pointers

	Added command-line options to allow/disallow taking the addresses of
	union fields.
	--take-union-field-addr (default)
	--take-no-union-field-addr

	Added command-line options to allow/disallow taking the addresses of
	local variables.
	--addr-taken-of-locals (default)
	--no-addr-taken-of-locals

	Added command-line option --no-sign-char-index.  When set, do not allow
	a variable of signed char type to be used as an array index.

	Added command-line option --fresh-array-ctrl-var-names.  If this option
	is specified, then the generated program will use fresh names for array
	control vars rather than unique ones such as i, j, k.  With this option,
	we can also avoid name shadowing in different local scopes.

	Added command-line option --no-hash-value-printf.  When specified,
	don't emit printf on array indices when computing hash values.

	Added command-line option --safe-math to complement the already
	implemented --no-safe-math option.

	Added command-line option --enable-access-once to enable testing the
	ACCESS_ONCE macro.

	Added command-line option --strict-volatile-rule, which forces only one
	volatile access between any pair of sequence points.

	Added command-line options --vol-struct-union-fields and
	--no-vol-struct-union-fields, which enable/disable the use of volatile
	struct/union fields.

	Removed command-line option --vol-addr-file.  Because we no longer rely
	on Csmith to generate volatile addresses, there no need to keep this
	option.

	Removed command-line option --enable-volatile-tests.  Because we track
	volatile accesses differently now, we no longer need this option.

	Runtime no longer prints the final checksum if macro NO_PRINT_CHECKSUM
	is defined.

	Include "stdio.h" in generated program if command-line option
	--enable-volatile-tests is specified.

	Implemented updates for recent CompCert (ccomp).  When command-line
	option --ccomp is specified:
	+ Allow 64-bit data (which was previously disallowed)
	+ Don't generate packed structs with long long fields.
	+ Disable bitfields in unions.
	+ Don't generate assignments from a long long to a bitfield.

	Fixed various bugs that would cause Csmith to crash.

	Fixed various bugs that would cause Csmith to generate programs with
	unspecified and/or defined behaviors.

	Moved "c_delta" C-program reducer work to a separate GitHub repository.
	That work was in the Csmith GitHub repository, but it was never
	included in an official Csmith release.  If you are interested in our
	reducer work, see <http://embed.cs.utah.edu/creduce/>.

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=09c2588a382d0ab1faa5f8609d8ec3dc55865ce3

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 csmith/Makefile | 5 ++---
 csmith/distinfo | 8 ++++----
 2 files changed, 6 insertions(+), 7 deletions(-)

diffs:
diff --git a/csmith/Makefile b/csmith/Makefile
index 2872db64ac..b75aaaf60f 100644
--- a/csmith/Makefile
+++ b/csmith/Makefile
@@ -1,9 +1,8 @@
 # $NetBSD: Makefile,v 1.4 2012/11/23 22:33:29 othyro Exp $
-#
 
-DISTNAME=	csmith-2.1.0
+DISTNAME=	csmith-2.3.0
 CATEGORIES=	devel
-MASTER_SITES=	http://embed.cs.utah.edu/csmith/
+MASTER_SITES=	https://embed.cs.utah.edu/csmith/
 
 MAINTAINER=	kamel.derouiche%gmail.com@localhost
 HOMEPAGE=	https://embed.cs.utah.edu/csmith/
diff --git a/csmith/distinfo b/csmith/distinfo
index f9b82ba8a2..4445b0098e 100644
--- a/csmith/distinfo
+++ b/csmith/distinfo
@@ -1,6 +1,6 @@
 $NetBSD: distinfo,v 1.1.1.1 2011/12/29 22:38:49 jihbed Exp $
 
-SHA1 (csmith-2.1.0.tar.gz) = 2c3c1f5f5e4283af4c835c48dbdaf9431623c45c
-RMD160 (csmith-2.1.0.tar.gz) = 2e0319b85adc02538db29a73e3a95a0f912c7ca2
-SHA512 (csmith-2.1.0.tar.gz) = 56a01f158ab3e1a21b60d9971e0c7e0e81aa57db8530efe8508d2ead209ef3524529c85fbd29cd181e02ca8592b188158d4369c7394644f2054ba0a635fbd063
-Size (csmith-2.1.0.tar.gz) = 575381 bytes
+SHA1 (csmith-2.3.0.tar.gz) = f307aaf99667044b173aba5f02bf033471f1a669
+RMD160 (csmith-2.3.0.tar.gz) = 6e4f191199e2e776c03ba4b58ea1466f8cf74e3c
+SHA512 (csmith-2.3.0.tar.gz) = abab6ace0fa6b1be248c3ffbac7069bcadbad7b7af5673660849c8bebf84de040afcf527b2fefbbcb68b9164a43e08684c147496fb2b25bbffef7495dba39041
+Size (csmith-2.3.0.tar.gz) = 637381 bytes


Home | Main Index | Thread Index | Old Index