Open Clingto opened 1 year ago
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 ce1b0724f3
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 ce1b0724f3
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.
My slice command is:
And the crash info:
Could you give me some advice? Thanks.