Patch for PR analyzer/98797

brian.sobulefsky brian.sobulefsky@protonmail.com
Wed Feb 10 00:54:19 GMT 2021


The attached patch has been bootstrapped and regression tested. It addresses PR analyzer/98797, which is built off the expected failures in gcc/testsuite/gcc.dg/analyzer/casts-1.c It fixes those failures and additional manifestations. That testsuite file has been updated to no longer expect failures and to include additional tests addressing the other manifestations I found.

Some additional work can probably be done to handle further cases, but this is now substantially more robust than the current status.

Thanks.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch.txt
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210210/fafc8f60/attachment.txt>


More information about the Gcc-patches mailing list