\brief Propagate a pointer data-type through an ADD operation. Assuming a pointer data-type from an ADD PcodeOp propagates from an input to its output, calculate the transformed data-type of the output Varnode, which will depend on details of the operation. If the edge doesn't make sense as "an ADD to a pointer", prevent the propagation by returning the output Varnode's current data-type. \param
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected