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

[Evgenii Stepanov via Phabricator via libcxx-commits]

eugenis added a comment.

> Can we keep all interfaces unchanged, and add some DFSan logic inside a method when the sanitizer is used?

This sounds like an acceptable solution.

To double check my understanding, you are proposing vector<bool> owns a small shadow for its contents (2 bytes per bit!) internally, and, for example, implementation of operator[] would copy the right label to its output.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D96842