From what I can tell, the code isn’t being touched, or even the whole file, in many cases. I haven’t looked into it foo much, but I assume there’s heuristics in the implementation of that rule (given that it’s trying to do the inherently impossible) and maybe something in the interprocedural analysis is on the threshold of being tickled or not tickled.
Anyway, I think I can kludge a workaround in a script … but thought I’d check first in case I missed a feature in the manual.