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

[Yang Chen <chenyang@cs.utah.edu>]

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.

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 Дмитрий Дьяченко <dimhen@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