tree aad4060b7eb6dd5321bcf1d65c5e73245e514ba9
parent d158ffe5405327dd26bd8b6646c0d1c572b7b39c
author Alastair Donaldson <afdx@google.com> 1587993851 +0100
committer GitHub <noreply@github.com> 1587993851 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeptz7CRBK7hj4Ov3rIwAAdHIIALGcEnOZ97kf20E97GHZA9ic
 bAXLnwC1WiXwVfkH9+yZXFVx9s8zGYWEjireCMdiKSna7wB9AoSLu5q2h2JRD26j
 /xx9nfaBmOvK+WgwBhscUFHSUP9+icgjNKSB1zgIcpqV9+vC7IpU9ESUWxevEiM7
 GwZhJmQq6zXgA/5NdobI64Qb8WXZ/tBcSJGkVuDoXS3jO0XLtNDSGUEfMkKwymMp
 PePpEnLe1nQUaH8QiYLsoU4c+S2l0s1bSk1bKL/cSFZkhp2S/SpXAlUZynHOnXTR
 LrAv758Mk8YFUuAOHHvIujw2QGyqoRSTqqP3D5QWGgOAeCpotqB6/uxOF4DzSXY=
 =8TC+
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Fix memory management in the fact manager (#3313)

Fixes a bug where, while recursively adding id equation facts, a
reference to a set of id equations could be used after it had been
freed (due to equivalence classes of equations being merged).