Bugs When I running IntAbs

[zhvngyuan]

Dear Author,
I encountered some bugs when I running IntAbs. I would look forward to receiving your advice for fixing these errors. I would be very grateful.
I can run the IntAbs when I used LLVM 3.8.0, However, when I examined the output file, I found that the output file I was running was different from the one you provided.
These are the last few lines in the box_ncomb_nonpri.out file，and the file is in the test1 directory. At line 230, I notice that the number of Errors found is 0 instead of 1. The same happens in other test files.

226 [WARNING] Value not dumped to metadata: @A = common global i32 0, align 4
227 type not handled
228 [WARNING] Value not dumped to metadata: @b = common global i32 0, align 4
229 type not handled
230 Errors found: 0
231 Max Permutations: 0
232 Total pairs: 0
233 Filtered pairs: 0
box_ncomb_nonpri_out.txt
box_ncomb_nonpri_errs.txt

[ChunghaSung]

Have you tried with LLVM 3.6? AFAIR, some libraries I was using were strictly dependent on specific LLVM version.

As I am out of the town these days, I can take a look at the them specifically once I get back around next weekend.

Please let me know if you still encounter the same error with 3.6.

[zhvngyuan]

Thank you very much for your reply. I have tried with LLVM 3.6 and it reports the following errors. I also tried LLVM3.7, but the results were the same.
I also encountered the same problem as mentioned in #1 .
I use DominatorTree &dt =getAnalysis(*f).getDomTree() instead of DominatorTree dt = DominatorTree(*f) and it make successfully. However, it does not work when run the case, and reports the following errors.

zhangyuan@zhangyuan:~/intAbs-master/src/test$ ./run.sh test1
Testing test1
/usr/local/bin/clang -emit-llvm -S -c main.c
/usr/bin/time -f %e -o box_ncomb_nonpri.time /usr/local/bin/opt -load /home/zhangyuan/intAbs-master/build/worklist-ai/libworklistAI.so -worklist-ai  -nocombs -box main.ll >main_out.bc 2>box_ncomb_nonpri.out
Thursday, May 26, 2022 17:00:54 CST
[ERROR]: opt (box ncomb)
ERROR: get_num_errs(): error string not found in output
TEST PASSED: box_ncomb_nonpri
/usr/bin/time -f %e -o box_ncomb_pri.time /usr/local/bin/opt -load /home/zhangyuan/intAbs-master/build/worklist-ai/libworklistAI.so -worklist-ai  -nocombs -priority -box main.ll >main_out.bc 2>box_ncomb_pri.out
Thursday, May 26, 2022 17:00:54 CST
[ERROR]: opt (box ncomb)
ERROR: get_num_errs(): error string not found in output
TEST PASSED: box_ncomb_pri
/home/zhangyuan/intAbs-master/src/test
zhangyuan@zhangyuan:~/intAbs-master/src/test$ clang -v
clang version 3.6.1 (tags/RELEASE_361/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9.3
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8
Candidate multilib: .;@m64
Selected multilib: .;@m64
zhangyuan@zhangyuan:~/intAbs-master/src/test$ llvm-as -version
LLVM (http://llvm.org/):
  LLVM version 3.6.1
  DEBUG build with assertions.
  Built May 26 2022 (15:44:52).
  Default target: x86_64-unknown-linux-gnu
  Host CPU: x86-64