Commit 537081e3 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

Merge branch 'feature/kernel/remove-ast-nodes' into 'master'

Follows removed AST nodes in kernel

See merge request frama-c/meta!57
parents 2be48906 3c2df742
......@@ -203,7 +203,7 @@ let make_dynamic_modif_code name lvar =
let incinstr = Call (None, realloc, [arg; newsize], unkloc) in
let inc = Cil.mkStmtOneInstr ~ghost:true incinstr in
Cil.mkStmt ~ghost:true (If (cond, Cil.mkBlock [inc], Cil.mkBlock [], unkloc)));
(let addr = Cil.mkBinOp unkloc IndexPI (Cil.evar tabvar) (Cil.evar sizevar) in
(let addr = Cil.mkBinOp unkloc PlusPI (Cil.evar tabvar) (Cil.evar sizevar) in
let tabcell = Cil.mkMem addr NoOffset in
let value = Option.get lvar.lv_origin |> Cil.evar in
Cil.mkStmtOneInstr ~ghost:true (Set (tabcell, value, unkloc)));
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment