Crash and Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed. about dg HOT 4 OPEN

Seems like a bug in -cutoff-diverging option. You can workaround it for now with -cutoff-diverging=0. Do you have some small test-case that would allow to reproduce this bug?

from dg.

Hi,
I tested the “-cutoff-diverging=0” option, and it seems not to work.

I put my data of proof-of-concept to reproduce this bug in the public git repo.

And the link is:
https://github.com/Clingto/POC/tree/master/POCs-DG/ngiflib

And it contains:
1、The source code of program is in the file directory "code";
2、I built the ngiflib program with bash script ("build_ngiflib_bin.sh");
3、I sliced it with dg/llvm-slicer tool with bash script ("slice_ngiflib_bin.sh")
4、My original ".bc" file is in the file directory "SRC_bin/test_slice.bc";
5、Environment:
clang version 6.0.0
mchalupa/dg version is git ce1b072

from dg.

Seems like a bug in -cutoff-diverging option. You can workaround it for now with -cutoff-diverging=0. Do you have some small test-case that would allow to reproduce this bug?

Hi,
I tested the “-cutoff-diverging=0” option, and it seems not to work.

I put my data of proof-of-concept to reproduce this bug in the public git repo.

And the link is:
https://github.com/Clingto/POC/tree/master/POCs-DG/ngiflib

And it contains:
1、The source code of program is in the file directory "code";
2、I built the ngiflib program with bash script ("build_ngiflib_bin.sh");
3、I sliced it with dg/llvm-slicer tool with bash script ("slice_ngiflib_bin.sh")
4、My original ".bc" file is in the file directory "SRC_bin/test_slice.bc";
5、Environment:
clang version 6.0.0
mchalupa/dg version is git ce1b072

from dg.

Seems like a bug in -cutoff-diverging option. You can workaround it for now with -cutoff-diverging=0. Do you have some small test-case that would allow to reproduce this bug?

Looking forward to your reply.
Thanks.

from dg.