Kinsey Moore started a new discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/542#note_126314 The pointer is not being dereferenced, so these two checks are fine in either order and produce the same result. They also happen to be mutually exclusive. A null pointer can't trip the page mask check and a pointer with the page bits set can't trip the null pointer check. Masking off bits of a potentially-null pointer isn't undefined behavior, is it? -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/542#note_126314 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list bugs@rtems.org http://lists.rtems.org/mailman/listinfo/bugs
