\brief Guard LOAD ops in preparation for the renaming algorithm The op must be in the loadGuard list, which means it may pull values from an indexed range on the stack. A COPY guard is placed for the given range on any LOAD op whose indexed range it intersects. \param fl is boolean properties associated with the address \param addr is the first address of the given range \param size is the numbe
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected