Home | History | Annotate | Line # | Download | only in unit-tests
cond-op-or.mk revision 1.9 
      1  1.9  rillig # $NetBSD: cond-op-or.mk,v 1.9 2023/06/01 20:56:35 rillig Exp $
      2  1.1  rillig #
      3  1.2  rillig # Tests for the || operator in .if conditions.
      4  1.1  rillig 
      5  1.3  rillig .if 0 || 0
      6  1.6  rillig .  error
      7  1.3  rillig .endif
      8  1.3  rillig 
      9  1.3  rillig .if !(1 || 0)
     10  1.6  rillig .  error
     11  1.3  rillig .endif
     12  1.3  rillig 
     13  1.3  rillig .if !(0 || 1)
     14  1.6  rillig .  error
     15  1.3  rillig .endif
     16  1.3  rillig 
     17  1.3  rillig .if !(1 || 1)
     18  1.6  rillig .  error
     19  1.3  rillig .endif
     20  1.3  rillig 
     21  1.7  rillig 
     22  1.3  rillig # The right-hand side is not evaluated since the left-hand side is already
     23  1.3  rillig # true.
     24  1.3  rillig .if 1 || ${UNDEF}
     25  1.3  rillig .endif
     26  1.1  rillig 
     27  1.8  rillig # When an outer condition makes the inner '||' condition irrelevant, neither
     28  1.8  rillig # of its operands must be evaluated.  This had been wrong in cond.c 1.283 from
     29  1.7  rillig # 2021-12-09 and was reverted in cond.c 1.284 an hour later.
     30  1.7  rillig .if 0 && (!defined(UNDEF) || ${UNDEF})
     31  1.7  rillig .endif
     32  1.7  rillig 
     33  1.8  rillig # Test combinations of outer '&&' with inner '||', to ensure that the operands
     34  1.8  rillig # of the inner '||' is only evaluated if necessary.
     35  1.8  rillig DEF=	defined
     36  1.8  rillig .if 0 && (${DEF} || ${UNDEF})
     37  1.8  rillig .endif
     38  1.8  rillig .if 0 && (!${DEF} || ${UNDEF})
     39  1.8  rillig .endif
     40  1.8  rillig .if 0 && (${UNDEF} || ${UNDEF})
     41  1.8  rillig .endif
     42  1.8  rillig .if 0 && (!${UNDEF} || ${UNDEF})
     43  1.8  rillig .endif
     44  1.8  rillig .if 1 && (${DEF} || ${UNDEF})
     45  1.8  rillig .endif
     46  1.9  rillig # expect+1: Malformed conditional (1 && (!${DEF} || ${UNDEF})
     47  1.8  rillig .if 1 && (!${DEF} || ${UNDEF})
     48  1.8  rillig .endif
     49  1.9  rillig # expect+1: Malformed conditional (1 && (${UNDEF} || ${UNDEF})
     50  1.8  rillig .if 1 && (${UNDEF} || ${UNDEF})
     51  1.8  rillig .endif
     52  1.9  rillig # expect+1: Malformed conditional (1 && (!${UNDEF} || ${UNDEF})
     53  1.8  rillig .if 1 && (!${UNDEF} || ${UNDEF})
     54  1.8  rillig .endif
     55  1.8  rillig 
     56  1.7  rillig 
     57  1.5  rillig # The || operator may be abbreviated as |.  This is not widely known though
     58  1.4  rillig # and is also not documented in the manual page.
     59  1.4  rillig 
     60  1.4  rillig .if 0 | 0
     61  1.4  rillig .  error
     62  1.4  rillig .endif
     63  1.4  rillig .if !(1 | 0)
     64  1.4  rillig .  error
     65  1.4  rillig .endif
     66  1.4  rillig .if !(0 | 1)
     67  1.4  rillig .  error
     68  1.4  rillig .endif
     69  1.4  rillig .if !(1 | 1)
     70  1.4  rillig .  error
     71  1.4  rillig .endif
     72  1.4  rillig 
     73  1.4  rillig # There is no operator |||.
     74  1.9  rillig # expect+1: Malformed conditional (0 ||| 0)
     75  1.4  rillig .if 0 ||| 0
     76  1.4  rillig .  error
     77  1.4  rillig .endif
     78  1.4  rillig 
     79  1.1  rillig all:
     80  1.1  rillig 	@:;
     81