diff options
author | 2017-11-21 17:24:50 -0800 | |
---|---|---|
committer | 2017-11-21 17:24:50 -0800 | |
commit | 704009a19869e9ec46e70c6d16bc5399e010fccc (patch) | |
tree | 3cdba6be341541d421b0f2f71079a948b762546a /tools | |
parent | d88421a995bf473202ecf0650eb8339a3cea3e93 (diff) |
Enable check for use-after-dtor
Diffstat (limited to 'tools')
-rw-r--r-- | tools/run_tests/generated/configs.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/run_tests/generated/configs.json b/tools/run_tests/generated/configs.json index abbe76d60c..fee8290efe 100644 --- a/tools/run_tests/generated/configs.json +++ b/tools/run_tests/generated/configs.json @@ -20,7 +20,10 @@ } }, { - "config": "msan" + "config": "msan", + "environ": { + "MSAN_OPTIONS": "poison_in_dtor=1" + } }, { "config": "basicprof" |