Re: [creduce-bugs] crash in remove-namespace

[Eric Eide <eeide@cs.utah.edu>]

Jeff Trull <edaskel@att.net> writes:

> Please see https://www.dropbox.com/s/foornokn9ujjd0o/cr_testcase2.tgz?dl=0
> for testcase (GMail will not let me send a normal tarball).

Thanks!

The input file is the same as for your previous report, but the diagnostic is
different.  (I've included it below for others on this mailing list.)

Eric.

-----
creduce 2.11.0
unknown
Linux
jet-Oryx-Pro
5.11.0-7612-generic
#13~1617215757~20.04~97a8d1a~dev-Ubuntu SMP Thu Apr 1 20:34:14 U
x86_64

***************************************************

pass_clang::remove-namespace has encountered a bug:
crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=remove-namespace --counter=1 /tmp/creduce-8GA4dU/testcase_reduce.cpp

Please consider tarring up /tmp/3rdtry/creduce_bug_008
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

-----

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>   .        University of Utah School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 .   Salt Lake City, Utah, USA