tree de3271a87cdac7dbc132b69a6b145c4f8a9be963
parent 18d45142e7a24070eab85982fa451a0d33f4c62b
author Vasyl Teliman <vasniktel@gmail.com> 1621000851 +0300
committer GitHub <noreply@github.com> 1621000851 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgnoKTCRBK7hj4Ov3rIwAAmbMIAIZKXf8hd3auAgEytzsjYAVs
 GYR3IY2pcMqQV2Gf3GZP6U7afagM7z6UpFdGyT8wox8UM36iqO7t6mPPLM4QAlY8
 ExlG1XItpJDozV03jGYc0yPUl4y368QNYN+XKh98tF7TWnbBVHW16KAWf4pDJHS7
 AAc4MJ7qfMzi4sfBQonFsSSI+7VwiNgnuiirdwWA3qBdJA7vzodSQCb2QMb9LjEe
 P85pN6Nm2BMCCvG2eBgMEPWNkjd0o9CUWoX2IgUuQu3WFGWbKI6CHPrl4TlHfORN
 49Ch+dNvsyUUTlpkhFXOoHnoltj5nNMSKAxGiFwuIpVNjhzRRd++bqjhoA3jHKQ=
 =uJd2
 -----END PGP SIGNATURE-----
 

Invalidate analyses (#4260)

Some reduction opportunities don't invalidate all analyses. This PR
fixes the situation (although we might invalidate more analyses than
required).