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

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

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 <vegard.nossum@gmail.com> 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;
      if (p && !o)
        ;
      ;
    }))
}

$ clang_delta --transformation=local-to-global --counter=2 input.c
Segmentation fault

The clang_delta arguments are different but the valgrind output looks
similar to one of the first that I reported:

==5140== Invalid read of size 4
==5140==    at 0x14F5CDB: (anonymous
namespace)::RopePieceBTreeNode::split(unsigned int) (in
/home/vegard/gcc/creduce/clang_delta/clang_delta)
[...]
==5140== Process terminating with default action of signal 11 (SIGSEGV)
==5140==  Access not within mapped region at address 0xA31F000
==5140==    at 0x14F5CDB: (anonymous
namespace)::RopePieceBTreeNode::split(unsigned int) (in
/home/vegard/gcc/creduce/clang_delta/clang_delta)

I'll keep the creduce_bug_* directories around but I'll probably not
report any more crashes for now (that way I can retry them when these
ones have been fixed in case they're just duplicates).


Vegard