tree 6d108eeed8661fa5f622ab4263ef2cb606e7e1eb
parent b0f1d7d56226fe24d0320fa79d6d3e9dd7a5a5f3
author Vitaly Buka <vitalybuka@google.com> 1604364140 -0800
committer Vitaly Buka <vitalybuka@google.com> 1604368843 -0800

[sanitizer] Make destructors protected