tree f6576bdb1e8260f175a361d994ecacb513c5af09
parent 6c218ec60b5f6b525f1badb60c820cae20bd4df3
author Alastair Donaldson <afdx@google.com> 1581674643 +0000
committer GitHub <noreply@github.com> 1581674643 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeRnCTCRBK7hj4Ov3rIwAAdHIIAF3cHrsn3UvYkGo5Fh3e3N83
 d9NhVjG0ZJ0OUSfYtNctfRHARP7XSqaV4ZoXdBdc0e6jLMAn0qV4gSYe/QdcCon2
 b6nKN7ZPTZ7uf3pjxGOdmr4769pdc0yYqoiFL5ZEbfDTShtu0Qhcuknr4kBi0fqi
 OIgRO1s/4hEcKgyuEw8EtHNmTmGC2/AAnPdIq4K/Awc9SYmGDamicSqwaHEnCpdj
 RjD5RZEYasklhrd/EvARJ72w71XFtcKNLjAGhxwftPaXHmQNr75h9CP3nsKN7suR
 6kt7wDowJPhinv7DalRQvRm3oB3Reeh5PTaLmczf9ZCUVDj1ppfj1gt2W85kyMs=
 =VSBP
 -----END PGP SIGNATURE-----
 

spirvfuzz: Fix type-related bug, change undef to zero, and add assert (#3188)

This fixes a bug where the type id of a type instruction, rather than
its result id, was being used.  It also favours using zero as the
return value when replacing an OpKill or OpUnreachable with a return
instruction, and adds a check that the donor module is valid when
doing module donation.

Fixes #3187.