# $NetBSD: cond-op-and.mk,v 1.10 2024/07/06 21:21:10 rillig Exp $
#
# Tests for the && operator in .if conditions.

.if 0 && 0
.  error
.endif

.if 1 && 0
.  error
.endif

.if 0 && 1
.  error
.endif

.if !(1 && 1)
.  error
.endif


# The right-hand side is not evaluated since the left-hand side is already
# false.
.if 0 && ${UNDEF}
.endif

# When an outer condition makes the inner '&&' condition irrelevant, neither
# of its operands is evaluated.
.if 1 || (${UNDEF} && ${UNDEF})
.endif

# Test combinations of outer '||' with inner '&&', to ensure that the operands
# of the inner '&&' are only evaluated if necessary.
DEF=	defined
# expect+1: Malformed conditional (0 || (${DEF} && ${UNDEF}))
.if 0 || (${DEF} && ${UNDEF})
.endif
.if 0 || (!${DEF} && ${UNDEF})
.endif
# expect+1: Malformed conditional (0 || (${UNDEF} && ${UNDEF}))
.if 0 || (${UNDEF} && ${UNDEF})
.endif
# expect+1: Malformed conditional (0 || (!${UNDEF} && ${UNDEF}))
.if 0 || (!${UNDEF} && ${UNDEF})
.endif
.if 1 || (${DEF} && ${UNDEF})
.endif
.if 1 || (!${DEF} && ${UNDEF})
.endif
.if 1 || (${UNDEF} && ${UNDEF})
.endif
.if 1 || (!${UNDEF} && ${UNDEF})
.endif


# The && operator may be abbreviated as &.  This is not widely known though
# and is also not documented in the manual page.

# expect+1: Unknown operator '&'
.if 0 & 0
.  error
.else
.  error
.endif
# expect+1: Unknown operator '&'
.if 1 & 0
.  error
.else
.  error
.endif
# expect+1: Unknown operator '&'
.if 0 & 1
.  error
.else
.  error
.endif
# expect+1: Unknown operator '&'
.if !(1 & 1)
.  error
.else
.  error
.endif

# There is no operator '&&&'.  The first two '&&' form an operator, the third
# '&' forms the next (incomplete) token.
# expect+1: Unknown operator '&'
.if 0 &&& 0
.  error
.else
.  error
.endif

# The '&&' operator must be preceded by whitespace, otherwise it becomes part
# of the preceding bare word.  The condition starts with a digit and is thus
# parsed as '"1&&" != "" && 1'.
.if 1&& && 1
.else
.  error
.endif