7x31
/
shellcheck
mirror of https://github.com/koalaman/shellcheck.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Warn about undefined behavior of test -a and -o.

This commit is contained in:
Vidar Holen 2015-08-15 22:42:06 -07:00
parent 26d16eb8ad
commit 07747b30fb
1 changed files with 19 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
ShellCheck/Analytics.hs
View File

@ -1280,15 +1280,25 @@ checkDoubleBracketOperators _ _ = return ()
prop_checkConditionalAndOrs1 = verify checkConditionalAndOrs "[ foo && bar ]" prop_checkConditionalAndOrs1 = verify checkConditionalAndOrs "[ foo && bar ]"
prop_checkConditionalAndOrs2 = verify checkConditionalAndOrs "[[ foo -o bar ]]" prop_checkConditionalAndOrs2 = verify checkConditionalAndOrs "[[ foo -o bar ]]"
prop_checkConditionalAndOrs3 = verifyNot checkConditionalAndOrs "[[ foo || bar ]]" prop_checkConditionalAndOrs3 = verifyNot checkConditionalAndOrs "[[ foo || bar ]]"
checkConditionalAndOrs _ (TC_And id SingleBracket "&&" _ _) = prop_checkConditionalAndOrs4 = verify checkConditionalAndOrs "[ foo -a bar ]"
err id 2107 "You can't use && inside [..]. Use -a instead." prop_checkConditionalAndOrs5 = verify checkConditionalAndOrs "[ -z 3 -o a = b ]"
checkConditionalAndOrs _ (TC_And id DoubleBracket "-a" _ _) = checkConditionalAndOrs _ t =
err id 2108 "In [[..]], use && instead of -a." case t of
checkConditionalAndOrs _ (TC_Or id SingleBracket "||" _ _) = (TC_And id SingleBracket "&&" _ _) ->
err id 2109 "You can't use || inside [..]. Use -o instead." err id 2107 "Instead of [ a && b ], use [ a ] && [ b ]."
checkConditionalAndOrs _ (TC_Or id DoubleBracket "-o" _ _) = (TC_And id DoubleBracket "-a" _ _) ->
err id 2110 "In [[..]], use || instead of -o." err id 2108 "In [[..]], use && instead of -a."
checkConditionalAndOrs _ _ = return () (TC_Or id SingleBracket "||" _ _) ->
err id 2109 "Instead of [ a || b ], use [ a ] || [ b ]."
(TC_Or id DoubleBracket "-o" _ _) ->
err id 2110 "In [[..]], use || instead of -o."
(TC_And id SingleBracket "-a" _ _) ->
warn id 2166 "Prefer [ p ] && [ q ] as [ p -a q ] is not well defined."
(TC_Or id SingleBracket "-o" _ _) ->
warn id 2166 "Prefer [ p ] || [ q ] as [ p -o q ] is not well defined."
otherwise -> return ()
prop_checkQuotedCondRegex1 = verify checkQuotedCondRegex "[[ $foo =~ \"bar\" ]]" prop_checkQuotedCondRegex1 = verify checkQuotedCondRegex "[[ $foo =~ \"bar\" ]]"
prop_checkQuotedCondRegex2 = verify checkQuotedCondRegex "[[ $foo =~ 'cow' ]]" prop_checkQuotedCondRegex2 = verify checkQuotedCondRegex "[[ $foo =~ 'cow' ]]"