Changeset 2430 for Deliverables/D2.2


Ignore:
Timestamp:
Nov 6, 2012, 1:13:27 PM (7 years ago)
Author:
campbell
Message:

Fix casting for conditionals in CompCert?-derived C parser.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/cparser/AddCasts.ml

    r486 r2430  
    100100      in { edesc = desc; etyp = e.etyp }
    101101  | EConditional(e1, e2, e3) ->
     102      let e2' = add_expr env e2 in
     103      let e3' = add_expr env e3 in
    102104      { edesc =
    103           EConditional(add_expr env e1, add_expr env e2, add_expr env e3);
     105          EConditional(add_expr env e1, cast env e2' e.etyp, cast env e3' e.etyp);
    104106        etyp = e.etyp }
    105107  | ECast(ty, e1) ->
Note: See TracChangeset for help on using the changeset viewer.