\brief Force a more restrictive prototype on \b this call site A new prototype must be given, typically recovered from a function pointer data-type that has been propagated to \b this call site. The method makes a determination if the current state of data-flow allows converting to the new prototype without dropping information due to inaccurate dead-code elimination. If conversion is safe, it i
source not stored for this graph (policy: none)
no test coverage detected