tree fda231b48e64552b110d70717545848a641ea973
parent dd3f8d4922ebd9b6275f68d7cfad5f34726ef462
author Alastair Donaldson <afdx@google.com> 1580383529 +0000
committer GitHub <noreply@github.com> 1580383529 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeMr0pCRBK7hj4Ov3rIwAAdHIIAK5Af9btYPeV3z47iE436Kdu
 MGuw5MHu9FyzaoXKpYSF7bDb9S9t3qIqHOPbl2mPoKLpFDp64kjnN/dl0L3LyQ6j
 MqVQvsovtUzgW7Fbb95BDQPmMzVTP6jmlTVvKIX4fPjhCQkU0e50tgZwtWkAgK5A
 PRAuH89D5yd1MZ2ngd9IhAEB8nuXWFjGfCp35/umNNSbQRxkSqZ4G/tg/9QhP3UM
 xTMRoZrzE5gBleyOxHsqPNm/xchEm8nOaozv8ydHlTANLgZSrGuoPVtZlJ5vEvJK
 Tt+uacXjqHwZC09xpRHA6IS+XQCDHTCpLgjImnUMNkpYYv40sgdEYLXstr6mqeU=
 =BAIy
 -----END PGP SIGNATURE-----
 

spirv-fuzz: Arbitrary variable facts (#3165)

This change adds a new kind of fact to the fact manager, which records
when a variable (or pointer parameter) refers to an arbitrary value,
so that anything can be stored to it, without affecting the observable
behaviour of the module, and nothing can be guaranteed about values
loaded from it. Donated modules are the current source of such
variables, and other transformations, such as outlining, have been
adapted to propagate these facts appropriately.