Ignore:
Timestamp:
Oct 1, 2012, 5:58:58 PM (8 years ago)
Author:
campbell
Message:

Branch prototype so that there's a version with the matita output patch
preinstalled.

Location:
Deliverables/D2.2/8051-matita-out
Files:
1 edited
1 copied

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-matita-out/src/clight/clightFromC.ml

    r1542 r2383  
    273273  let ty = convertTyp env e.etyp in
    274274  match e.edesc with
     275  | C.EConst(C.CInt(i, _, _)) when i = Int64.zero && ty = Tpointer Tvoid ->
     276      Expr(Ecast (ty, Expr (Econst_int 0, Tint (I8, AST.Unsigned))), ty)
    275277  | C.EConst(C.CInt(i, _, _)) ->
    276278      Expr(Econst_int( convertInt i), ty)
Note: See TracChangeset for help on using the changeset viewer.