[libcxx-commits] [PATCH] D96842: [dfsan] Do not specialize vector<bool> for DFSan
stephan.yichao.zhao via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Wed Feb 17 09:02:42 PST 2021
stephan.yichao.zhao added a comment.
re "We can't change the API". Is this because C++ standard claims that std::vector<bool> must be specialized?
Can we keep all interfaces unchanged, and add some DFSan logic inside a method when the sanitizer is used?
For example, the problem we have is operator= does not propagate DFSan's meta data correctly, and the 'reserve' method does not initialize DFSan's meta data.
When DATAFLOW_SANITIZER is on, the code may add logic to initialize or propagate DFSan's information. This does not change interfaces.
Is this a better approach?
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the libcxx-commits