[Bug target/85972] New: cr16/predicates.md:163: bad if test ?

[dcb314 at hotmail dot com]

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

            Bug ID: 85972
           Summary: cr16/predicates.md:163: bad if test ?
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

runk/gcc/config/cr16/predicates.md:163:17: 
warning: logical ‘or’ of collectively exhaustive tests is always true
[-Wlogical
-op]

Source code is

        return (IN_RAN(INTVAL (op), 0, 15) && ((INTVAL (op) != 9)
                || (INTVAL (op) != 11))) ? 1 : 0 ;

Maybe better code

        return (IN_RAN(INTVAL (op), 0, 15) && ((INTVAL (op) != 9)
                && (INTVAL (op) != 11))) ? 1 : 0 ;