tree 08e40900da2da72135b9e26082055c66b81ab8db
parent a0c1b5bdda91920a66f58b0a891c551acff2d2a1
author DianQK <dianqk@dianqk.net> 1704023763 +0800
committer DianQK <dianqk@dianqk.net> 1706136134 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQIzBAABCgAdFiEE4Z4XoRX1dxOrqlVVRr2xrJbEiRIFAmWxkkYACgkQRr2xrJbE
 iRJ63BAAmn1tdyeAO8yiiVEtPsNTeyY4LJnTT7ZUcGQzWrt5ne/fG4jzWvJU/NOG
 awCWEtePu7TEjgD/WquAM2oBURWtw1pfyTqXrezoLBVuKKflDzUbE3ub0aN0lGwg
 /DDKySvZ8s2qEIqLJw+xpT8LrjajIPLUyfIctWTNwmA6kjmD//ev++9UW8V9f+HE
 VFyERLuElWR3F+zDxpUSf5qvoDWuJhXru3PresZYYR/53nnEZMmdLvYOEM63E2ia
 J2xqXcWHF2vZrLNA93F6xuCrJmeVcdz+zRdQ5kxcjRGzt7/B7ZbkOFz0YwSAgyIB
 sWPHAeRYORZtDQo5I30GUNchDU2f86fFqgXU15OnCC+YlC0sfRTopr5lNsaZrInh
 2admHYsZZJ9GacYJHmi/AzbLUKJF0vX0CSrS/xtd9zfDT1GG1MBg/Y1i5fAp+a9I
 +lX/Ryz7gfl5bBCZh/LUSV/zcVwau7RCM3JgkwEMBGINauYf5j9xXoKgHLPEwNJp
 +vCeTtfCGJwOJA/D7eyQSznQz2CwSRTvfCV+zCDMMpIqcUmzYSFOq9VCDoHNvE4k
 DrPm4Yt6QVo9vJSdWJZmsWcvWqB9zvT6nNmV/dBpsXY5euIFbco107DIBRAe3Kit
 HP9zl4XITmS/1OSYBMvMqZg4UMMuCjAEkqth25mlGxWRDaJNmUo=
 =scQL
 -----END PGP SIGNATURE-----

Reland "[SimplifyCFG] Improve the precision of `PtrValueMayBeModified`"

This relands commit f890f010f6a70addbd885acd0c8d1b9578b6246f.

The result value of `getelementptr inbounds (TY, null, not zero)` is a poison value.
We can think of it as undefined behavior.