[libcxx-commits] [PATCH] D96842: [dfsan] Do not specialize vector<bool> for DFSan
Kostya Serebryany via Phabricator via libcxx-commits
libcxx-commits at lists.llvm.org
Wed Feb 17 09:04:31 PST 2021
kcc added a comment.
DFSan is a separate ABI, you can't mix DFSan-ified code with non-DFSan-ified code.
There is no annotation that we can imagine to work in this case.
DFSan's metadata is per-byte, if we mix different taints in a single byte (8 packet bits) we get an overtaint, i.e. a false positive.
The only other solution for our users is to not use vector<bool>
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the libcxx-commits