Ping: https://gcc.gnu.org/ml/gcc-patches/2018-04/msg00676.html
Testing on x86_64-linux showed no regressions. On 04/13/2018 10:49 AM, Martin Sebor wrote:
PR 85365 is another example of a false positive caused by the interaction between the instrumentation inserted by sanitizers, jump threading, and a middle-end warning. In this case, the warning is easy to avoid by suppressing -Wrestrict for null pointers. Although undefined, since they do no point to an object, strictly speaking they do not indicate an overlap, and so issuing a -Wrestrict warning is not quite appropriate anyway. Testing in progress. Martin