tree 332d961d7fa4af72533ef85a2dd68a47a0209ec5
parent 7e95d88483531f04e2db74a0cfeb4d40d9a3af19
author Nicolas Capens <capn@google.com> 1494948086 -0400
committer Nicolas Capens <capn@google.com> 1494949072 +0000

Reset pointer to null after delete.

Fixes a double free.

Change-Id: Ieb71dff4476132b9b2fb624223e26af49a4131ee
Reviewed-on: https://swiftshader-review.googlesource.com/9728
Reviewed-by: Alexis Hétu <sugoi@google.com>
Reviewed-by: Nicolas Capens <capn@google.com>
Tested-by: Nicolas Capens <capn@google.com>