Re: [creduce-bugs] Two C-reduce segfaults with recent git version

2018-04-10 Thread Yang Chen
This one was also fixed. Thanks! - Yang On 03/15/2018 05:28 AM, Vegard Nossum wrote: f() { long i = ({ union { int j; } l; l.j; }); return i; } n() { for (;;) if (({ _Bool p; if (p && !o) ; ; })) }

Re: [creduce-bugs] Two C-reduce segfaults with recent git version

2018-04-10 Thread Yang Chen
Fixed. Thanks for reporting the issue to us, Vegard! - Yang On 03/13/2018 12:38 PM, Vegard Nossum wrote: Hi, I'm using commit 2597f8ee1d0a19383bbf193b2c37b45d78528e27 with clang-5.0 from Ubuntu. I've encountered a couple of crashes, the files seem small enough that I can just include them ve

Re: [creduce-bugs] Two C-reduce segfaults with recent git version

2018-03-15 Thread Yang Chen
Hi Vegard, Thanks for the report! I will look at these this week. - Yang On 2018-03-15 05:28, Vegard Nossum wrote: On 13 March 2018 at 20:38, Vegard Nossum wrote: Hi, I'm using commit 2597f8ee1d0a19383bbf193b2c37b45d78528e27 with clang-5.0 from Ubuntu. Got another one: f() { long i = (

Re: [creduce-bugs] Two C-reduce segfaults with recent git version

2018-03-15 Thread Vegard Nossum
On 13 March 2018 at 20:38, Vegard Nossum wrote: > Hi, > > I'm using commit 2597f8ee1d0a19383bbf193b2c37b45d78528e27 with > clang-5.0 from Ubuntu. Got another one: f() { long i = ({ union { int j; } l; l.j; }); return i; } n() { for (;;) if (({ _Bool p;

Re: [creduce-bugs] Two C-reduce segfaults with recent git version

2018-03-15 Thread Vegard Nossum
On 13 March 2018 at 20:38, Vegard Nossum wrote: > Hi, > > I'm using commit 2597f8ee1d0a19383bbf193b2c37b45d78528e27 with > clang-5.0 from Ubuntu. Got another one: struct a { struct b }; $ clang_delta --transformation=empty-struct-to-int --counter=1 input.c Segmentation fault Valgrind: ==201

[creduce-bugs] Two C-reduce segfaults with recent git version

2018-03-13 Thread Vegard Nossum
Hi, I'm using commit 2597f8ee1d0a19383bbf193b2c37b45d78528e27 with clang-5.0 from Ubuntu. I've encountered a couple of crashes, the files seem small enough that I can just include them verbatim: $ cat current-8330.c union { } f() { } $ ~/creduce/clang_delta/clang_delta --transformation=union-to