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

[Yang Chen]

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:
Hi,
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 
<http://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.

Dmitry

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

    Hi!

    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 ...

    Thanks,
    Dmitry