Home | History | Annotate | Line # | Download | only in unit-tests
cond-short.mk revision 1.6 
      1  1.6  rillig # $NetBSD: cond-short.mk,v 1.6 2020/07/02 16:37:56 rillig Exp $
      2  1.1  rillig #
      3  1.1  rillig # Demonstrates that in conditions, the right-hand side of an && or ||
      4  1.2  rillig # is only evaluated if it can actually influence the result.
      5  1.1  rillig #
      6  1.2  rillig # Between 2015-10-11 and 2020-06-28, the right-hand side of an && or ||
      7  1.2  rillig # operator was always evaluated, which was wrong.
      8  1.1  rillig #
      9  1.2  rillig 
     10  1.2  rillig # The && operator.
     11  1.1  rillig 
     12  1.1  rillig .if 0 && ${echo "unexpected and" 1>&2 :L:sh}
     13  1.1  rillig .endif
     14  1.1  rillig 
     15  1.1  rillig .if 1 && ${echo "expected and" 1>&2 :L:sh}
     16  1.1  rillig .endif
     17  1.1  rillig 
     18  1.2  rillig .if 0 && exists(nonexistent${echo "unexpected and exists" 1>&2 :L:sh})
     19  1.2  rillig .endif
     20  1.2  rillig 
     21  1.2  rillig .if 1 && exists(nonexistent${echo "expected and exists" 1>&2 :L:sh})
     22  1.2  rillig .endif
     23  1.2  rillig 
     24  1.2  rillig .if 0 && empty(${echo "unexpected and empty" 1>&2 :L:sh})
     25  1.2  rillig .endif
     26  1.2  rillig 
     27  1.2  rillig .if 1 && empty(${echo "expected and empty" 1>&2 :L:sh})
     28  1.2  rillig .endif
     29  1.2  rillig 
     30  1.4  rillig # "VAR U11" is not evaluated; it was evaluated before 2020-07-02.
     31  1.4  rillig # The whole !empty condition is only parsed and then discarded.
     32  1.3  rillig VAR=	${VAR${:U11${echo "unexpected VAR U11" 1>&2 :L:sh}}}
     33  1.3  rillig VAR13=	${VAR${:U12${echo "unexpected VAR13" 1>&2 :L:sh}}}
     34  1.3  rillig .if 0 && !empty(VAR${:U13${echo "unexpected U13 condition" 1>&2 :L:sh}})
     35  1.3  rillig .endif
     36  1.3  rillig 
     37  1.3  rillig VAR=	${VAR${:U21${echo "unexpected VAR U21" 1>&2 :L:sh}}}
     38  1.3  rillig VAR23=	${VAR${:U22${echo   "expected VAR23" 1>&2 :L:sh}}}
     39  1.3  rillig .if 1 && !empty(VAR${:U23${echo   "expected U23 condition" 1>&2 :L:sh}})
     40  1.3  rillig .endif
     41  1.5  rillig VAR=	# empty again, for the following tests
     42  1.3  rillig 
     43  1.5  rillig # The :M modifier is only parsed, not evaluated.
     44  1.5  rillig # Before 2020-07-02, it was wrongly evaluated.
     45  1.4  rillig .if 0 && !empty(VAR:M${:U${echo "unexpected M pattern" 1>&2 :L:sh}})
     46  1.4  rillig .endif
     47  1.4  rillig 
     48  1.5  rillig .if 1 && !empty(VAR:M${:U${echo   "expected M pattern" 1>&2 :L:sh}})
     49  1.5  rillig .endif
     50  1.5  rillig 
     51  1.6  rillig .if 0 && !empty(VAR:S,from,${:U${echo "unexpected S modifier" 1>&2 :L:sh}},)
     52  1.6  rillig .endif
     53  1.6  rillig 
     54  1.6  rillig .if 0 && !empty(VAR:C,from,${:U${echo "unexpected C modifier" 1>&2 :L:sh}},)
     55  1.6  rillig .endif
     56  1.6  rillig 
     57  1.6  rillig .if 0 && !empty("" == "" :? ${:U${echo "unexpected ? modifier" 1>&2 :L:sh}} :)
     58  1.6  rillig .endif
     59  1.6  rillig 
     60  1.6  rillig .if 0 && !empty(VAR:old=${:U${echo "unexpected = modifier" 1>&2 :L:sh}})
     61  1.6  rillig .endif
     62  1.6  rillig 
     63  1.6  rillig .if 0 && !empty(1 2 3:L:@var@${:U${echo "unexpected @ modifier" 1>&2 :L:sh}}@)
     64  1.6  rillig .endif
     65  1.6  rillig 
     66  1.6  rillig .if 0 && !empty(:U${:!echo "unexpected exclam modifier" 1>&2 !})
     67  1.6  rillig .endif
     68  1.6  rillig 
     69  1.2  rillig # The || operator.
     70  1.2  rillig 
     71  1.1  rillig .if 1 || ${echo "unexpected or" 1>&2 :L:sh}
     72  1.1  rillig .endif
     73  1.1  rillig 
     74  1.1  rillig .if 0 || ${echo "expected or" 1>&2 :L:sh}
     75  1.1  rillig .endif
     76  1.1  rillig 
     77  1.2  rillig .if 1 || exists(nonexistent${echo "unexpected or exists" 1>&2 :L:sh})
     78  1.2  rillig .endif
     79  1.2  rillig 
     80  1.2  rillig .if 0 || exists(nonexistent${echo "expected or exists" 1>&2 :L:sh})
     81  1.2  rillig .endif
     82  1.2  rillig 
     83  1.2  rillig .if 1 || empty(${echo "unexpected or empty" 1>&2 :L:sh})
     84  1.2  rillig .endif
     85  1.2  rillig 
     86  1.2  rillig .if 0 || empty(${echo "expected or empty" 1>&2 :L:sh})
     87  1.2  rillig .endif
     88  1.2  rillig 
     89  1.2  rillig # Unreachable nested conditions are skipped completely as well.
     90  1.1  rillig 
     91  1.1  rillig .if 0
     92  1.1  rillig .  if ${echo "unexpected nested and" 1>&2 :L:sh}
     93  1.1  rillig .  endif
     94  1.1  rillig .endif
     95  1.1  rillig 
     96  1.1  rillig .if 1
     97  1.1  rillig .elif ${echo "unexpected nested or" 1>&2 :L:sh}
     98  1.1  rillig .endif
     99  1.1  rillig 
    100  1.1  rillig all:
    101  1.1  rillig 	@:;:
    102