Find all the reaching defs of OPvar e. Put into a linked list, or just set the RD bits in a vector.
See Implementation
Find all the reaching defs of OPvar e. Put into a linked list, or just set the RD bits in a vector.