Skip to content
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.

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

Fix a assertion failure cause i128 type #992

Merged
merged 1 commit into from
Jan 8, 2023
Merged

Fix a assertion failure cause i128 type #992

merged 1 commit into from
Jan 8, 2023

Conversation

ChoKyuWon
Copy link
Contributor

When switch-case expression takes i128 type on case destination, getSExtValue raises assertion failure. This patch checks the bit width of ConstantInt and runs getSExtValue only if ConstantInt has a bit width smaller than 64.

Signed-off-by: ChoKyuWon kyuwoncho18@gmail.com

When switch-case expression takes i128 type on case destination, getSExtValue
raises assertion failure. This patch checks the bit width of ConstantInt
and runs getSExtValue only if ConstantInt has a bit width smaller than 64.

Signed-off-by: ChoKyuWon <kyuwoncho18@gmail.com>
@yuleisui
Copy link
Collaborator

yuleisui commented Jan 8, 2023

A good fx, thanks, wiil merge

@codecov
Copy link

codecov bot commented Jan 8, 2023

Codecov Report

Merging #992 (c3c3932) into master (50c0820) will increase coverage by 0.00%.
The diff coverage is 100.00%.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #992   +/-   ##
=======================================
  Coverage   63.65%   63.65%           
=======================================
  Files         219      219           
  Lines       21906    21907    +1     
=======================================
+ Hits        13944    13945    +1     
  Misses       7962     7962           
Impacted Files Coverage Δ
svf/include/Graphs/ICFGEdge.h 79.16% <ø> (ø)
svf/include/SVFIR/SVFStatements.h 82.97% <ø> (ø)
svf-llvm/lib/ICFGBuilder.cpp 98.82% <100.00%> (ø)
svf-llvm/lib/SVFIRBuilder.cpp 76.21% <100.00%> (ø)
svf/lib/Graphs/ICFG.cpp 71.48% <0.00%> (+0.11%) ⬆️

@yuleisui yuleisui merged commit 7ecebf5 into SVF-tools:master Jan 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants