\brief Check if executing a load of this pointer value cannot trap. If DT and ScanFrom are specified this method performs context-sensitive analysis and returns true if it is safe to load immediately before ScanFrom. If it is not obviously safe to load from the specified pointer, we do a quick local scan of the basic block containing \c ScanFrom, to determine if the address is already accessed.
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected