1 # $NetBSD: cond-short.mk,v 1.11 2020/10/24 08:50:17 rillig Exp $
3 # Demonstrates that in conditions, the right-hand side of an && or ||
4 # is only evaluated if it can actually influence the result.
6 # Between 2015-10-11 and 2020-06-28, the right-hand side of an && or ||
7 # operator was always evaluated, which was wrong.
12 .if 0 && ${echo "unexpected and" 1>&2 :L:sh}
15 .if 1 && ${echo "expected and" 1>&2 :L:sh}
18 .if 0 && exists(nonexistent${echo "unexpected and exists" 1>&2 :L:sh})
21 .if 1 && exists(nonexistent${echo "expected and exists" 1>&2 :L:sh})
24 .if 0 && empty(${echo "unexpected and empty" 1>&2 :L:sh})
27 .if 1 && empty(${echo "expected and empty" 1>&2 :L:sh})
30 # "VAR U11" is not evaluated; it was evaluated before 2020-07-02.
31 # The whole !empty condition is only parsed and then discarded.
32 VAR= ${VAR${:U11${echo "unexpected VAR U11" 1>&2 :L:sh}}}
33 VAR13= ${VAR${:U12${echo "unexpected VAR13" 1>&2 :L:sh}}}
34 .if 0 && !empty(VAR${:U13${echo "unexpected U13 condition" 1>&2 :L:sh}})
37 VAR= ${VAR${:U21${echo "unexpected VAR U21" 1>&2 :L:sh}}}
38 VAR23= ${VAR${:U22${echo "expected VAR23" 1>&2 :L:sh}}}
39 .if 1 && !empty(VAR${:U23${echo "expected U23 condition" 1>&2 :L:sh}})
41 VAR= # empty again, for the following tests
43 # The :M modifier is only parsed, not evaluated.
44 # Before 2020-07-02, it was wrongly evaluated.
45 .if 0 && !empty(VAR:M${:U${echo "unexpected M pattern" 1>&2 :L:sh}})
48 .if 1 && !empty(VAR:M${:U${echo "expected M pattern" 1>&2 :L:sh}})
51 .if 0 && !empty(VAR:S,from,${:U${echo "unexpected S modifier" 1>&2 :L:sh}},)
54 .if 0 && !empty(VAR:C,from,${:U${echo "unexpected C modifier" 1>&2 :L:sh}},)
57 .if 0 && !empty("" == "" :? ${:U${echo "unexpected ? modifier" 1>&2 :L:sh}} :)
60 .if 0 && !empty(VAR:old=${:U${echo "unexpected = modifier" 1>&2 :L:sh}})
63 .if 0 && !empty(1 2 3:L:@var@${:U${echo "unexpected @ modifier" 1>&2 :L:sh}}@)
66 .if 0 && !empty(:U${:!echo "unexpected exclam modifier" 1>&2 !})
69 # Irrelevant assignment modifiers are skipped as well.
70 .if 0 && ${1 2 3:L:@i@${FIRST::?=$i}@}
72 .if 0 && ${1 2 3:L:@i@${LAST::=$i}@}
74 .if 0 && ${1 2 3:L:@i@${APPENDED::+=$i}@}
76 .if 0 && ${echo.1 echo.2 echo.3:L:@i@${RAN::!=${i:C,.*,&; & 1>\&2,:S,., ,g}}@}
78 .if defined(FIRST) || defined(LAST) || defined(APPENDED) || defined(RAN)
79 . warning first=${FIRST} last=${LAST} appended=${APPENDED} ran=${RAN}
84 .if 1 || ${echo "unexpected or" 1>&2 :L:sh}
87 .if 0 || ${echo "expected or" 1>&2 :L:sh}
90 .if 1 || exists(nonexistent${echo "unexpected or exists" 1>&2 :L:sh})
93 .if 0 || exists(nonexistent${echo "expected or exists" 1>&2 :L:sh})
96 .if 1 || empty(${echo "unexpected or empty" 1>&2 :L:sh})
99 .if 0 || empty(${echo "expected or empty" 1>&2 :L:sh})
102 # Unreachable nested conditions are skipped completely as well.
105 . if ${echo "unexpected nested and" 1>&2 :L:sh}
110 .elif ${echo "unexpected nested or" 1>&2 :L:sh}
113 # make sure these do not cause complaint
120 .if defined(V42) && ${V42} > 0
125 x!= echo 'defined(V42) && ${V42} > 0: $x' >&2; echo
127 # this one throws both String comparison operator and
128 # Malformed conditional with cond.c 1.78
129 # indirect iV2 would expand to "" and treated as 0
130 .if defined(V66) && ( ${iV2} < ${V42} )
135 x!= echo 'defined(V66) && ( "${iV2}" < ${V42} ): $x' >&2; echo
137 # next two thow String comparison operator with cond.c 1.78
138 # indirect iV1 would expand to 42
139 .if 1 || ${iV1} < ${V42}
144 x!= echo '1 || ${iV1} < ${V42}: $x' >&2; echo
146 .if 1 || ${iV2:U2} < ${V42}
151 x!= echo '1 || ${iV2:U2} < ${V42}: $x' >&2; echo
153 # the same expressions are fine when the lhs is expanded
154 # ${iV1} expands to 42
155 .if 0 || ${iV1} <= ${V42}
160 x!= echo '0 || ${iV1} <= ${V42}: $x' >&2; echo
162 # ${iV2:U2} expands to 2
163 .if 0 || ${iV2:U2} < ${V42}
168 x!= echo '0 || ${iV2:U2} < ${V42}: $x' >&2; echo