tree 9e14032ee1a042c1d8762ce8e6ff609ad6354262
parent 56a812d6331230be7338bc289ccfe9b50e3e9545
author Davide Pesavento <davidepesa@gmail.com> 1570996691 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1571338681 -0400

security: avoid potential undefined behavior in const_cast

Change-Id: I24cee635d5a3da95bdfd2566f2e4232e4b9ac358