Assertion `getActiveBits() <= 64 && "Too many bits for uint64_t"' failed

[Rexxar-Jack-Remar]

After updating SVF to the newest version 32c2a51, I encountered a problem.

(py38) root@45cb62a8ed4a:~/exp/nginx-1.27.3-16 # wpa -ander nginx-1.27.3-16.bc 
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
vcall gep idx not constantint
wpa: /opt/llvm-16.0.4.obj/include/llvm/ADT/APInt.h:1497: uint64_t llvm::APInt::getZExtValue() const: Assertion `getActiveBits() <= 64 && "Too many bits for uint64_t"' failed.

The bitcode file is attached. Could you give me a hand?

bc.zip

[jumormt]

It is like an internal crash in LLVM when calling intValue->getSExtValue(), where intValue is llvm::ConstantInt

[Rexxar-Jack-Remar]

It is like an internal crash in LLVM when calling intValue->getSExtValue(), where intValue is llvm::ConstantInt

I tried the former version of SVF, and this error didn't occur. I guess there is something wrong with transformation from LLVM IR to SVF IR.

[yuleisui]

Should be fixed via #1624. Pls try and let us know.

[Rexxar-Jack-Remar]

Should be fixed via #1624. Pls try and let us know.

That really works. Thank you for your help!