HomePhabricator

[analyzer] Move taint API from ProgramState to a separate header. NFC.

Authored by dergachev.a on Mar 29 2019, 3:49 PM.

Description

[analyzer] Move taint API from ProgramState to a separate header. NFC.

It is now an inter-checker communication API, similar to the one that
connects MallocChecker/CStringChecker/InnerPointerChecker: simply a set of
setters and getters for a state trait.

Differential Revision: https://reviews.llvm.org/D59861

llvm-svn: 357326