\brief Get a data-type description of the value being pointed at by the given LOAD or STORE Take the data-type of the pointer and construct the data-type of the thing being pointed at so that it matches a specific size. This takes into account TypePointerRel and can produce TypePartialStruct in order to match the size. If no interpretation of the value as a splittable data-type is possible, nul
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected