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

Re: [creduce-bugs] oscillation in creducing



Hi Dmitry,

It looks like the erroneous behavior was triggered by some bad transformation in copy propagation pass. If possible, could you send us the "best" reduced file after you hit Ctrl-C? Probably I could reproduce the behavior locally. Thanks!

- Yang


On 4/18/19 1:02 AM, Дмитрий Дьяченко wrote:
Hi!

I hit a strange situation -- creducing start "oscillate" at some point
-- end of log follow.

May be due inconsistency? -- from script I return `100' at some
situation (gcc ICE), but run creduce w/o `--also-interesting 100'

After ^C and restarting, reduction continues as usual w/o "oscillations".

Do you have a suggestion how I can bugreport it?
And 'll it be helpful to bugreport?

Thanks,
Dmitry

Fedora 29 x86_64
creduce/master compiled from sources,
clang-7.0.1 from Fedora 29 distro


creduce --sllooww --n 3 .. ...
[...]
(98.9 %, 6075 bytes)
(98.9 %, 5985 bytes)
===< pass_clang :: aggregate-to-scalar >===
===< pass_clang :: param-to-global >===
(98.9 %, 5942 bytes)
(98.9 %, 5916 bytes)
(98.9 %, 5973 bytes)
(98.9 %, 6016 bytes)
(98.9 %, 5998 bytes)
shell-init: error retrieving current directory: getcwd: cannot access
parent directories: No such file or directory
(98.9 %, 5974 bytes)
(98.9 %, 5962 bytes)
(98.9 %, 5992 bytes)
(98.9 %, 6018 bytes)
(98.9 %, 6073 bytes)
===< pass_clang :: param-to-local >===
(98.9 %, 6091 bytes)
===< pass_clang :: remove-nested-function >===
(98.8 %, 6135 bytes)
(98.8 %, 6189 bytes)
===< pass_clang :: union-to-struct >===
===< pass_clang :: return-void >===
(98.8 %, 6181 bytes)
(98.8 %, 6181 bytes)
===< pass_clang :: simple-inliner >===
(98.8 %, 6148 bytes)
(98.8 %, 6209 bytes)
(98.8 %, 6318 bytes)
(98.8 %, 6652 bytes)
(98.7 %, 6685 bytes)
(98.7 %, 6965 bytes)
===< pass_clang :: reduce-pointer-level >===
clang_delta: ReducePointerLevel.cpp:877: void
ReducePointerLevel::getNewLocalInitStr(const clang::Expr*,
std::__cxx11::string&): Assertion `0 && "Uncaught initializer!"'
failed.
sh: line 1: 31078 Aborted                 (core dumped)
"/usr/local/creduce/libexec/clang_delta"
--transformation=reduce-pointer-level --counter=1
/tmp/creduce-u2bwLK/a.ii > /tmp/97sto66S0m

***************************************************

pass_clang::reduce-pointer-level has encountered a bug:
crashed: "/usr/local/creduce/libexec/clang_delta"
--transformation=reduce-pointer-level --counter=1
/tmp/creduce-u2bwLK/a.ii

Please consider tarring up /home/dimhen/errs/gcc9/x2/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

===< pass_clang :: lift-assignment-expr >===
===< pass_clang :: copy-propagation >===
(98.7 %, 6975 bytes)
(98.7 %, 6965 bytes)
(98.7 %, 6975 bytes)
shell-init: error retrieving current directory: getcwd: cannot access
parent directories: No such file or directory
(98.7 %, 6965 bytes)
(98.7 %, 6975 bytes)
(98.7 %, 6965 bytes)
(98.7 %, 6975 bytes)
[...]

... I terminate it by pressing ^C after 10-15 minutes seeing 6965 / 6975 lines