diff options
author | 2021-11-19 13:39:10 +0100 | |
---|---|---|
committer | 2021-11-22 10:06:48 +0000 | |
commit | 563ec99fa371c473da711483d25517052e9867b9 (patch) | |
tree | 0ee34a5a68c71bd95f3dea3f62e88443676106e8 /configure | |
parent | 3d5e48ba2499fe6a01f48f43a057f3d985ec0ff5 (diff) |
vppinfra: annotate pool_dup() for asan
When using AddressSanitizer, pool objects are poisoned, but pool_dup()
deep copy is ok.
Type: fix
Change-Id: Id801c4ab35666474a297d885c4b92878e44feab6
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions