Changes between Version 10 and Version 11 of Library_IR


Ignore:
Timestamp:
12/11/15 13:13:09 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Library_IR

    v10 v11  
    5858* `fun[lib="pointer"] $is_identity_ref(ptr: Pointer): Bool`
    5959 * checks if the given pointer is pointing to a variable, i.e., the pointer is NOT pointing to a sub-component of a variable
    60 * `fun[lib="pointer"] $leaf_nodes_equal_to(obj: Pointer, value: Integer)`
     60* `fun[lib="pointer"] $leaf_nodes_equal_to(obj: Pointer, value: Integer): Bool`
    6161 * checks if the leaf nodes of the given object are equal to the given integer value
    62 * `fun[lib="pointer"] $has_leaf_node_equal_to(obj: Pointer, value: Integer)`
     62* `fun[lib="pointer"] $has_leaf_node_equal_to(obj: Pointer, value: Integer): Bool`
    6363 * checks if the given object has a leaf node whose value is equal to the given integer value
    64 * `fun[lib="pointer"] $is_derefable_pointer(ptr: Pointer)`
     64* `fun[lib="pointer"] $is_derefable_pointer(ptr: Pointer): Bool`
    6565 * checks if the given pointer could be safely dereferenced
    6666* `fun[lib="pointer"] $pointer_add(ptr: Pointer,  offset: Integer, type_size: Integer)`