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

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

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)
>          ;
>        ;
>      }))
> }