[libcxx-commits] [PATCH] D96842: [dfsan] Do not specialize vector<bool> for DFSan

[Kostya Serebryany via Phabricator via libcxx-commits]

kcc added a comment.

Why not? 
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>


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D96842/new/

https://reviews.llvm.org/D96842