Determine if the given data-type edge looks like a pointer propagating through an "add a constant" operation. We assume the input to the edge has a pointer data-type. This routine returns one the commands: - 0 indicates this is "add a constant" adding a zero (PTRSUB or PTRADD) - 1 indicates this is "add a constant" and the constant is passed back - 2 indicating the pointer does not propagate
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected