[Bug libgcc/70800] New: libgcc/config/libbid/bid_binarydecimal.c: suspicious comparison ?

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70800

            Bug ID: 70800
           Summary: libgcc/config/libbid/bid_binarydecimal.c: suspicious
                    comparison ?
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libgcc
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

trunk/libgcc/config/libbid/bid_binarydecimal.c:143934]: (style) Expression '(X
& 0xffff) > 0xf423f' is always false.

Source code is

        nan(s,((((x) & 0xFFFFul) > 999999ul) ? 0 :                          \
               (((unsigned long long) x) << 44)),0ull);     

Masking something with 0xFFFFul would appear to limit it to [0..64K),
so it should always be < 999999ul.