Make DBOUT message working again. Close #1828

[vonavi]

• Fixes the compilation of SVF when CMake option SVF_ENABLE_ASSERTIONS is disabled. Mostly it fixes warnings about unused variables.
• Fixes the compilation of SVF when CMake option USE_SVF_DBOUT is enabled. It solves the problem that SVF values were removed for svf-llvm, so a DBOUT message can use LLVM values only. So the main change is the replacement of llvmModuleSet()->getSVFValue(...) by LLVMUtil::dumpValue(...).

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 64.45%. Comparing base (28de5b8) to head (004c7ec).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1832   +/-   ##
=======================================
  Coverage   64.45%   64.45%           
=======================================
  Files         252      252           
  Lines       25210    25210           
  Branches     4768     4768           
=======================================
  Hits        16248    16248           
  Misses       8962     8962           

Files with missing lines	Coverage Δ
svf-llvm/include/SVF-LLVM/LLVMUtil.h	76.66% <ø> (ø)
svf-llvm/lib/ICFGBuilder.cpp	98.43% <ø> (ø)
svf-llvm/lib/SVFIRBuilder.cpp	88.93% <ø> (ø)
svf-llvm/lib/SymbolTableBuilder.cpp	87.85% <ø> (ø)
svf/lib/AE/Svfexe/AbstractInterpretation.cpp	82.31% <ø> (ø)
svf/lib/AE/Svfexe/SparseAbstractInterpretation.cpp	86.93% <ø> (ø)
svf/lib/Graphs/ConsG.cpp	64.51% <ø> (ø)
svf/lib/MTA/MHP.cpp	67.91% <ø> (ø)
svf/lib/SVFIR/SVFIR.cpp	79.80% <ø> (ø)

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.