Follows removed AST nodes in kernel

meta_bindings.ml

@@ -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)));