There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
Dependency bug in "inlining" benchmark.
"If you run: Dependency.exe _v2.bpl /taint:v1.bpl_changed_lines.txt /prune /coarseDiff
You will find that the argument of the procedure should_not_taint is not tainted by dependency, although it should be.
Don’t be confused by the name of the procedure, only by using DAC we should be able to infer that the procedure is not tainted."