Ping: https://gcc.gnu.org/ml/gcc-patches/2018-04/msg00650.html
This just suppresses a duplicate warning. Please let me know if it's preferable to defer it until GCC 9. Otherwise, I'll be traveling the next two weeks with only limited availability (none the first week in May). On 04/12/2018 02:52 PM, Martin Sebor wrote:
The attached patch makes a small tweak to avoid issuing a duplicate warning for calls to strcmp with a nonstring argument. The most onerous part of this was figuring out how to test for the absence of duplicate warnings. The "hack" I used (dg-regexp) is in place until a more straightforward solution becomes available. (David Malcolm has something planned for GCC 9.) Martin