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

Re: [creduce-bugs] crash --transformation=reduce-pointer-level

Hi Dmitry

Thanks for reporting this!

I've seen similar behavior before. My guess is that we might suffer from the phase-ordering problem. If it doesn't require too much effort, can you send us the reduced test case in your second case and the script that orchestrated the reduction? I will check if C-Reduce miss some obvious reduction opportunities. You don't need to reproduce the crashing behavior. Thanks.

- Yang

On 01/25/2015 11:32 AM, Дмитрий Дьяченко wrote:
sorry for noise.

I rebuild creduce from scratch and there are no crashes.
I use: Fedora 21/x86_x64, creduce-git-top-of-tree, clang-3.5.0-precompiled-from-llvm.org.

But I have strange additional result:
-- prev (crashed) version works 740 secs and reduce 17KLOC (400Kb) down to 32 lines (795 bytes)
-- new (without craches) works 840 secs and reduce downto 42 lines (1263 bytes)

If you are interested I can try reproduce this. Currently I dont know exactly about crached version how it was compiled and from which sources.

Thank you, sorry once again for noise.


2015-01-25 21:39 GMT+03:00 Дмитрий Дьяченко <dimhen@gmail.com>:

With creduce-git, clang 3.7.0 (trunk 227039) Fedora 21/x86_64
 I get 2 similar crashes
/usr/local/creduce/libexec/clang_delta --transformation=reduce-pointer-level --counter=4|5 ...