Updated the tests codes for llvm20

[bsdb0y]

[bsdb0y]

from Test-Suite/CMakeLists.txt

          #TODO: add null-ptr-deref handler code: removed "-null-ptr-deref" option
          #COMMAND ae -null-ptr-deref ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
          COMMAND ae ${CMAKE_CURRENT_SOURCE_DIR}/${filename}

I see that the PR from https://github.com/wmx66666 SVF-tools/SVF#1687 is already open, so the comment I added might get resolved once the related code is merged into SVF.

[bsdb0y]

@yuleisui just checking in - please let me know if anything is needed from my side to get this PR merged. https://github.com/SVF-tools/SVF/pull/1685 is currently failing because these tests need to be compiled with LLVM 20, and I’ve made some changes to them accordingly.

[yuleisui]

I can't merge this as the *.bc files are not supposed to be changed, but only need to change the llvm compiler version in GitHub Action: https://github.com/SVF-tools/Test-Suite/blob/master/.github/workflows/Test-Suite.yml

Please only make a pull request where necessary and leave all other files untouched.