[PATCH] D11700: Added remove taint support to ProgramState.

[Ted Kremenek]

krememek added a subscriber: krememek.
krememek added a comment.

I don't remember why the 'tainted' methods were added to ProgramState in the first place, but it doesn't seem quite right.  Taint can easily be modeled as a set of APIs that modify and produce new ProgramStates, but I don't see why it should be part of ProgramState itself.


http://reviews.llvm.org/D11700