[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] creduce expanding file instead of reducing
Thanks for reporting the issue.
I couldn't reproduce the GCC failure on my machine running Ubuntu 14.04
(detailed below). Looks like the crash was specific to
powerpc64le-linux-gnu, which I don't have access to. Do you happen to
know which C-Reduce transformation caused the code expansion, or do you
have any saved log/intermediate files that were produced during the
$ gcc -v
Using built-in specs.
Configured with: ../configure
Thread model: posix
gcc version 6.0.0 20150420 (experimental) (GCC)
$ gcc -g -O -Wformat -Werror=format-security -Wall -Wextra -c
stress-cpu.i ; echo $?
On 04/19/2015 09:47 AM, Matthias Klose wrote:
seen for the first time, creduce expands a file instead of reducing. The
example file is available at
Attaching the log of the creduce run.
$ cat cr.sh
if [ $# -ne 1 ]; then
echo "usage: $0 <file.c>" 1>&2
ARGS="-g -O -Wformat -Werror=format-security -Wall -Wextra -c"
msg="internal compiler error: Segmentation fault"
$GCC $ARGS $1 > out.txt 2>&1
if fgrep -q "$msg" out.txt
fgrep -v "$msg" out.txt > out2.txt
if fgrep -q ': error:' out2.txt; then
elif fgrep -q ': warning:' out2.txt; then