Skip to content

fix a bug of int128 #1624

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Jan 8, 2025

remove getSExt ZExt in SVF-LLVM

f0d2c2a
Select commit
Loading
Failed to load commit list.
Merged

fix a bug of int128 #1624

remove getSExt ZExt in SVF-LLVM
f0d2c2a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jan 8, 2025 in 0s

84.21% of diff hit (target 0.00%)

View this Pull Request on Codecov

84.21% of diff hit (target 0.00%)

Annotations

Check warning on line 64 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L63-L64 

Added lines #L63 - L64 were not covered by tests

Check warning on line 70 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L70 

Added line #L70 was not covered by tests

Check warning on line 86 in svf-llvm/include/SVF-LLVM/LLVMUtil.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/include/SVF-LLVM/LLVMUtil.h#L86 

Added line #L86 was not covered by tests

Check warning on line 1090 in svf-llvm/lib/DCHG.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/DCHG.cpp#L1090 

Added line #L1090 was not covered by tests

Check warning on line 707 in svf-llvm/lib/LLVMModule.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/LLVMModule.cpp#L707 

Added line #L707 was not covered by tests
View more details on Codecov