diff options
| author | Qi Wang <interwq@gwu.edu> | 2017-02-23 14:42:52 -0800 |
|---|---|---|
| committer | Qi Wang <interwq@gmail.com> | 2017-02-24 09:41:29 -0800 |
| commit | c2323e13a5eec70f554e532336a912a9cd78317a (patch) | |
| tree | 5ac234dfe75dc08d00152658db13e48908bffd88 /scripts/gen_run_tests.py | |
| parent | de49674fbde4d124a0a7e7e97f5656e190980759 (diff) | |
Get rid of witness in malloc_mutex_t when !(configured w/ debug).
We don't touch witness at all when config_debug == false. Let's only pay the
memory cost in malloc_mutex_s when needed. Note that when !config_debug, we keep
the field in a union so that we don't have to do #ifdefs in multiple places.
Diffstat (limited to 'scripts/gen_run_tests.py')
0 files changed, 0 insertions, 0 deletions