Changeset 502


Ignore:
Timestamp:
Feb 11, 2011, 5:45:08 PM (6 years ago)
Author:
campbell
Message:

Fix not on nulls on Clight.

Location:
Deliverables/D3.1/C-semantics
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Csem.ma

    r500 r502  
    9696      match v with
    9797      [ Vint n ⇒ Some ? (of_bool (eq n zero))
    98       | Vptr _ _ _ _ ⇒ Some ? Vfalse
    9998      | _ ⇒ None ?
    10099      ]
    101100  | Tpointer _ _ ⇒
    102101      match v with
    103       [ Vint n ⇒ Some ? (of_bool (eq n zero))
    104       | Vptr _ _ _ _ ⇒ Some ? Vfalse
     102      [ Vptr _ _ _ _ ⇒ Some ? Vfalse
     103      | Vnull _ ⇒ Some ? Vtrue
    105104      | _ ⇒ None ?
    106105      ]
Note: See TracChangeset for help on using the changeset viewer.