Home | History | Annotate | Line # | Download | only in unit-tests
cond-short.mk revision 1.6 
      1 # $NetBSD: cond-short.mk,v 1.6 2020/07/02 16:37:56 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.
     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 all:
    101 	@:;:
    102