Thanks! Ok it seems to me that the checker is almost right. It seems !*p is redundant. So the output must be fixed. I have created https://trac.cppcheck.net/ticket/10320
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
https://godbolt.org/z/Khhbvvb31
Thanks! Ok it seems to me that the checker is almost right. It seems
!*pis redundant. So the output must be fixed. I have created https://trac.cppcheck.net/ticket/10320