contrib/bmake/unit-tests/cond-short.mk

   1 # $NetBSD: cond-short.mk,v 1.7 2020/07/09 22:34:09 sjg 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.
  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}})
  35 .endif
  36
  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}})
  40 .endif
  41 VAR=    # 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 # The || operator.
  70
  71 .if 1 || ${echo "unexpected or" 1>&2 :L:sh}
  72 .endif
  73
  74 .if 0 || ${echo "expected or" 1>&2 :L:sh}
  75 .endif
  76
  77 .if 1 || exists(nonexistent${echo "unexpected or exists" 1>&2 :L:sh})
  78 .endif
  79
  80 .if 0 || exists(nonexistent${echo "expected or exists" 1>&2 :L:sh})
  81 .endif
  82
  83 .if 1 || empty(${echo "unexpected or empty" 1>&2 :L:sh})
  84 .endif
  85
  86 .if 0 || empty(${echo "expected or empty" 1>&2 :L:sh})
  87 .endif
  88
  89 # Unreachable nested conditions are skipped completely as well.
  90
  91 .if 0
  92 .  if ${echo "unexpected nested and" 1>&2 :L:sh}
  93 .  endif
  94 .endif
  95
  96 .if 1
  97 .elif ${echo "unexpected nested or" 1>&2 :L:sh}
  98 .endif
  99
 100 # make sure these do not cause complaint
 101 #.MAKEFLAGS: -dc
 102
 103 V42 = 42
 104 iV1 = ${V42}
 105 iV2 = ${V66}
 106
 107 .if defined(V42) && ${V42} > 0
 108 x=Ok
 109 .else
 110 x=Fail
 111 .endif
 112 x!= echo 'defined(V42) && ${V42} > 0: $x' >&2; echo
 113 # this one throws both String comparison operator and
 114 # Malformed conditional with cond.c 1.78
 115 # indirect iV2 would expand to "" and treated as 0
 116 .if defined(V66) && ( ${iV2} < ${V42} )
 117 x=Fail
 118 .else
 119 x=Ok
 120 .endif
 121 x!= echo 'defined(V66) && ( "${iV2}" < ${V42} ): $x' >&2; echo
 122 # next two thow String comparison operator with cond.c 1.78
 123 # indirect iV1 would expand to 42
 124 .if 1 || ${iV1} < ${V42}
 125 x=Ok
 126 .else
 127 x=Fail
 128 .endif
 129 x!= echo '1 || ${iV1} < ${V42}: $x' >&2; echo
 130 .if 1 || ${iV2:U2} < ${V42}
 131 x=Ok
 132 .else
 133 x=Fail
 134 .endif
 135 x!= echo '1 || ${iV2:U2} < ${V42}: $x' >&2; echo
 136 # the same expressions are fine when the lhs is expanded
 137 # ${iV1} expands to 42
 138 .if 0 || ${iV1} <= ${V42}
 139 x=Ok
 140 .else
 141 x=Fail
 142 .endif
 143 x!= echo '0 || ${iV1} <= ${V42}: $x' >&2; echo
 144 # ${iV2:U2} expands to 2
 145 .if 0 || ${iV2:U2} < ${V42}
 146 x=Ok
 147 .else
 148 x=Fail
 149 .endif
 150 x!= echo '0 || ${iV2:U2} < ${V42}: $x' >&2; echo
 151
 152 all:
 153         @:;: