Merge: sepcomp: fix hardening related to the instantiation of dead types
authorJean Privat <jean@pryen.org>
Wed, 27 May 2015 10:12:32 +0000 (06:12 -0400)
committerJean Privat <jean@pryen.org>
Wed, 27 May 2015 10:12:32 +0000 (06:12 -0400)
commit0767ae366c01dd1ac27dbda7776d9c6c44b76a0a
treecebe9c33cbad19eab5c899b2cae5fb29b74c538a
parent91833139f8d4a1d590629a11d7b5b2928bfb7084
parentcaad86c674c5f650022a6e9994a4ec132f957976
Merge: sepcomp: fix hardening related to the instantiation of dead types

The bug was revelated by #1385

Pull-Request: #1402
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>