1# $NetBSD: cond-short.mk,v 1.9 2020/08/19 22:47:09 rillig Exp $ 2# 3# Demonstrates that in conditions, the right-hand side of an && or || 4# is only evaluated if it can actually influence the result. 5# 6# Between 2015-10-11 and 2020-06-28, the right-hand side of an && or || 7# operator was always evaluated, which was wrong. 8# 9 10# The && operator. 11 12.if 0 && ${echo "unexpected and" 1>&2 :L:sh} 13.endif 14 15.if 1 && ${echo "expected and" 1>&2 :L:sh} 16.endif 17 18.if 0 && exists(nonexistent${echo "unexpected and exists" 1>&2 :L:sh}) 19.endif 20 21.if 1 && exists(nonexistent${echo "expected and exists" 1>&2 :L:sh}) 22.endif 23 24.if 0 && empty(${echo "unexpected and empty" 1>&2 :L:sh}) 25.endif 26 27.if 1 && empty(${echo "expected and empty" 1>&2 :L:sh}) 28.endif 29 30# "VAR U11" is not evaluated; it was evaluated before 2020-07-02. 31# The whole !empty condition is only parsed and then discarded. 32VAR= ${VAR${:U11${echo "unexpected VAR U11" 1>&2 :L:sh}}} 33VAR13= ${VAR${:U12${echo "unexpected VAR13" 1>&2 :L:sh}}} 34.if 0 && !empty(VAR${:U13${echo "unexpected U13 condition" 1>&2 :L:sh}}) 35.endif 36 37VAR= ${VAR${:U21${echo "unexpected VAR U21" 1>&2 :L:sh}}} 38VAR23= ${VAR${:U22${echo "expected VAR23" 1>&2 :L:sh}}} 39.if 1 && !empty(VAR${:U23${echo "expected U23 condition" 1>&2 :L:sh}}) 40.endif 41VAR= # empty again, for the following tests 42 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}}) 46.endif 47 48.if 1 && !empty(VAR:M${:U${echo "expected M pattern" 1>&2 :L:sh}}) 49.endif 50 51.if 0 && !empty(VAR:S,from,${:U${echo "unexpected S modifier" 1>&2 :L:sh}},) 52.endif 53 54.if 0 && !empty(VAR:C,from,${:U${echo "unexpected C modifier" 1>&2 :L:sh}},) 55.endif 56 57.if 0 && !empty("" == "" :? ${:U${echo "unexpected ? modifier" 1>&2 :L:sh}} :) 58.endif 59 60.if 0 && !empty(VAR:old=${:U${echo "unexpected = modifier" 1>&2 :L:sh}}) 61.endif 62 63.if 0 && !empty(1 2 3:L:@var@${:U${echo "unexpected @ modifier" 1>&2 :L:sh}}@) 64.endif 65 66.if 0 && !empty(:U${:!echo "unexpected exclam modifier" 1>&2 !}) 67.endif 68 69# Irrelevant assignment modifiers are skipped as well. 70.if 0 && ${1 2 3:L:@i@${FIRST::?=$i}@} 71.endif 72.if 0 && ${1 2 3:L:@i@${LAST::=$i}@} 73.endif 74.if 0 && ${1 2 3:L:@i@${APPENDED::+=$i}@} 75.endif 76.if 0 && ${echo.1 echo.2 echo.3:L:@i@${RAN::!=${i:C,.*,&; & 1>\&2,:S,., ,g}}@} 77.endif 78.if defined(FIRST) || defined(LAST) || defined(APPENDED) || defined(RAN) 79.warning first=${FIRST} last=${LAST} appended=${APPENDED} ran=${RAN} 80.endif 81 82# The || operator. 83 84.if 1 || ${echo "unexpected or" 1>&2 :L:sh} 85.endif 86 87.if 0 || ${echo "expected or" 1>&2 :L:sh} 88.endif 89 90.if 1 || exists(nonexistent${echo "unexpected or exists" 1>&2 :L:sh}) 91.endif 92 93.if 0 || exists(nonexistent${echo "expected or exists" 1>&2 :L:sh}) 94.endif 95 96.if 1 || empty(${echo "unexpected or empty" 1>&2 :L:sh}) 97.endif 98 99.if 0 || empty(${echo "expected or empty" 1>&2 :L:sh}) 100.endif 101 102# Unreachable nested conditions are skipped completely as well. 103 104.if 0 105. if ${echo "unexpected nested and" 1>&2 :L:sh} 106. endif 107.endif 108 109.if 1 110.elif ${echo "unexpected nested or" 1>&2 :L:sh} 111.endif 112 113# make sure these do not cause complaint 114#.MAKEFLAGS: -dc 115 116V42 = 42 117iV1 = ${V42} 118iV2 = ${V66} 119 120.if defined(V42) && ${V42} > 0 121x=Ok 122.else 123x=Fail 124.endif 125x!= echo 'defined(V42) && ${V42} > 0: $x' >&2; echo 126 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} ) 131x=Fail 132.else 133x=Ok 134.endif 135x!= echo 'defined(V66) && ( "${iV2}" < ${V42} ): $x' >&2; echo 136 137# next two thow String comparison operator with cond.c 1.78 138# indirect iV1 would expand to 42 139.if 1 || ${iV1} < ${V42} 140x=Ok 141.else 142x=Fail 143.endif 144x!= echo '1 || ${iV1} < ${V42}: $x' >&2; echo 145 146.if 1 || ${iV2:U2} < ${V42} 147x=Ok 148.else 149x=Fail 150.endif 151x!= echo '1 || ${iV2:U2} < ${V42}: $x' >&2; echo 152 153# the same expressions are fine when the lhs is expanded 154# ${iV1} expands to 42 155.if 0 || ${iV1} <= ${V42} 156x=Ok 157.else 158x=Fail 159.endif 160x!= echo '0 || ${iV1} <= ${V42}: $x' >&2; echo 161 162# ${iV2:U2} expands to 2 163.if 0 || ${iV2:U2} < ${V42} 164x=Ok 165.else 166x=Fail 167.endif 168x!= echo '0 || ${iV2:U2} < ${V42}: $x' >&2; echo 169 170all: 171 @:;: 172