Ignore:
Timestamp:
Feb 9, 2011, 6:22:34 PM (8 years ago)
Author:
campbell
Message:

Pointer fixes for the temporary version of the compiler that can output matita
terms.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.3/8051-memoryspaces-branch/src/clight/clightPrinter.ml

    r461 r489  
    131131  | Tunion(name, fld) ->
    132132      ssp ^ name ^ name_optid id
    133   | Tcomp_ptr name ->
     133  | Tcomp_ptr (_, name) ->
    134134      ssp ^ name ^ " *" ^ id
    135135
     
    384384  | Init_int8 n -> fprintf p "%ld,@ " (Int32.of_int n)
    385385  | Init_int16 n -> fprintf p "%ld,@ " (Int32.of_int n)
    386   | Init_int24 n -> fprintf p "%ld,@ " (Int32.of_int n)
     386  | Init_null _ -> fprintf p "0,@ "
    387387  | Init_int32 n -> fprintf p "%ld,@ " (Int32.of_int n)
    388388  | Init_float32 n -> fprintf p "%F,@ " n
    389389  | Init_float64 n -> fprintf p "%F,@ " n
    390390  | Init_space n -> fprintf p "/* skip %ld, */@ " (Int32.of_int n)
    391   | Init_addrof(symb, ofs) ->
     391  | Init_addrof(r, symb, ofs) ->
    392392      let ofs = Int32.of_int ofs in
    393393      if ofs = Int32.zero
     
    398398  | Init_int8 n -> fprintf p "%ld" (Int32.of_int n)
    399399  | Init_int16 n -> fprintf p "%ld" (Int32.of_int n)
    400   | Init_int24 n -> fprintf p "%ld" (Int32.of_int n)
     400  | Init_null _ -> fprintf p "0"
    401401  | Init_int32 n -> fprintf p "%ld" (Int32.of_int n)
    402402  | Init_float32 n -> fprintf p "%F" n
    403403  | Init_float64 n -> fprintf p "%F" n
    404404  | Init_space n -> fprintf p "/* skip %ld */" (Int32.of_int n)
    405   | Init_addrof(symb, ofs) ->
     405  | Init_addrof(_,symb, ofs) ->
    406406      let ofs = Int32.of_int ofs in
    407407      if ofs = Int32.zero
Note: See TracChangeset for help on using the changeset viewer.