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.
===> The following configuration options are available for csmith-2.3.0.127:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
devel/csmith: Mark BROKEN, deprecate and set expiration date to 2025-06-30
Unfetchable and unmaintained for years, upstream is still active and
located here: https://github.com/csmith-project/csmith if someone
wants to pick it up
all: drop support for expired FreeBSD 14.0
Simplify expressions for FreeBSD 13.X
Reviewed by: many
Differential Revision: https://reviews.freebsd.org/D46601
*/*: Fix build with llvm16 on 13.2-STABLE
As like as HEAD(14.0-RELEASE) llvm16 was merged in base for 13.2-STABLE
with the OSVERSION 1302507.
- Utilize USE_CXXSTD=c++14 or similar solution where applicable
- Update conditionals to addtionally check for OSVERSION greater than
1302507 and less than 1400000
Approved by: portmgr (blanket)
Sponsored by: The FreeBSD Foundation
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
Enable build on all archs. Apparently the x86-specific code is long gone.
PR: 229725
Submitted by: Greg V <greg at unrelenting.technology>
Approved by: maintainer timeout (> 3 months)
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
(Only the first 15 lines of the commit message are shown above )
Updating the ports I maintain to my FreeBSD.org address.
Submitted by: mmokhi
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9498
- 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>
Add OPTIONS_DEFINE=DOCS for ports with %%PORTDOCS%% in the plist.
Where possible, correct a few instances where PORTDOCS was being used
to flag stuff in EXAMPLESDIR. For some ports, mostly those owned by
ruby@, PORTDOCS is applied to pretty much everything whether it's
documentation or example.
Clean up my ports (and a couple of ports@ owned ones):
- Fix COMMENT
- Add MAKE_JOBS_SAFE where appropriate
- Change ordering of LICENSE lines
- Fix new header format
- Etc.
Reviewed by: drogoh (on irc)
- 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
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)
