On 07/10/2015 02:19 AM, Richard Biener wrote:
But the warning on the "bogus" line will still be warranted, so user goes and
fixes it.
But when the user gets the "bogus" line, he may look at the code and
determine that the reported line can't possibly be executed -- so they
get confused, assume the warning is bogus and ignore it.
Then tail-merge no longer applies and he gets the warning on the
other warranted line.
That assumes that we'd get to both paths. We may not. The paths may be
totally independent.
Jeff
