A reference to a specific Address is encoded in a Varnode. The Varnode is an \e annotation in the sense that it will hold no value in the data-flow, it will will only hold a reference to an address. This is used specifically by the branch p-code operations to hold destination addresses. \param m is the Address to encode \return the newly allocated \e annotation Varnode
source not stored for this graph (policy: none)
no test coverage detected