Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Fix mismatching type in computed goto elimination

  • Loading branch information...
commit 667c782fc56f467330268362c6ed3005613f8e4c 1 parent 5bd57bf
@kerneis kerneis authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/frontc/cabs2cil.ml
View
2  src/frontc/cabs2cil.ml
@@ -6525,7 +6525,7 @@ and doStatement (s : A.statement) : chunk =
match !gotoTargetData with
Some (switchv, switch) -> (* We have already generated this one *)
se
- @@ i2c(Set (var switchv, makeCast e' intType, loc'))
+ @@ i2c(Set (var switchv, makeCast e' !upointType, loc'))
@@ s2c(mkStmt(Goto (ref switch, loc')))
| None -> begin
Please sign in to comment.
Something went wrong with that request. Please try again.