Changes between Version 103 and Version 104 of IR


Ignore:
Timestamp:
11/30/15 11:38:54 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v103 v104  
    265265* `mem_reach(ptr)`, where `ptr` is an expression with a pointer type.
    266266 * This represents the set of all memory units reachable from `ptr`, including the memory unit pointed to by `ptr` itself.
    267 * `mem_union(mem1,mem2)`, where `mem1` and `mem2` are expressions of type `Memory`.
     267* `mem_union(mem1,mem2)`, where `mem1` and `mem2` are expressions of type `Mem`.
    268268 * This is the union of the two memory sets.
    269269* `mem_isect(mem1,mem1)` : set intersection