diff options
| author | Björn Gustavsson <[email protected]> | 2016-10-04 15:11:05 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-10-28 10:15:53 +0200 |
| commit | e9c343d551779c975f075ae812ef8cd7ae0a1d64 (patch) | |
| tree | 0a1c7d93bfe6006af0573a1044ec438b4177e267 /lib/compiler/test | |
| parent | 97ee6664899949c5c40dfefa9d8b516ac639fb3c (diff) | |
| download | otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.tar.gz otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.tar.bz2 otp-e9c343d551779c975f075ae812ef8cd7ae0a1d64.zip | |
sys_core_fold: Eliminate complaint from core_lint
Diffstat (limited to 'lib/compiler/test')
| -rw-r--r-- | lib/compiler/test/core_fold_SUITE.erl | 20 | ||||
| -rw-r--r-- | lib/compiler/test/warnings_SUITE.erl | 1 |
2 files changed, 18 insertions, 3 deletions
diff --git a/lib/compiler/test/core_fold_SUITE.erl b/lib/compiler/test/core_fold_SUITE.erl index ced0e39d06..0097e28d4d 100644 --- a/lib/compiler/test/core_fold_SUITE.erl +++ b/lib/compiler/test/core_fold_SUITE.erl @@ -26,7 +26,7 @@ unused_multiple_values_error/1,unused_multiple_values/1, multiple_aliases/1,redundant_boolean_clauses/1, mixed_matching_clauses/1,unnecessary_building/1, - no_no_file/1,configuration/1]). + no_no_file/1,configuration/1,supplies/1]). -export([foo/0,foo/1,foo/2,foo/3]). @@ -45,7 +45,7 @@ groups() -> unused_multiple_values_error,unused_multiple_values, multiple_aliases,redundant_boolean_clauses, mixed_matching_clauses,unnecessary_building, - no_no_file,configuration]}]. + no_no_file,configuration,supplies]}]. init_per_suite(Config) -> @@ -511,4 +511,20 @@ configuration() -> art() -> creating. +%% core_lint would complain after optimization. A call to error/1 +%% must not occur unconditionally in a guard. +supplies(_Config) -> + case ?MODULE of + core_fold_inline_SUITE -> + %% Other error behaviour when inlined. + ok; + _ -> + {'EXIT',{function_clause,_}} = (catch do_supplies(#{1 => <<1,2,3>>})), + {'EXIT',{function_clause,_}} = (catch do_supplies(#{1 => a})), + {'EXIT',{function_clause,_}} = (catch do_supplies(42)), + ok + end. + +do_supplies(#{1 := Value}) when byte_size(Value), byte_size(kg) -> working. + id(I) -> I. diff --git a/lib/compiler/test/warnings_SUITE.erl b/lib/compiler/test/warnings_SUITE.erl index f884e6e7d6..35f7db82bd 100644 --- a/lib/compiler/test/warnings_SUITE.erl +++ b/lib/compiler/test/warnings_SUITE.erl @@ -281,7 +281,6 @@ bad_arith(Config) when is_list(Config) -> {3,sys_core_fold,{eval_failure,badarith}}, {9,sys_core_fold,nomatch_guard}, {9,sys_core_fold,{eval_failure,badarith}}, - {9,sys_core_fold,{no_effect,{erlang,is_integer,1}}}, {10,sys_core_fold,nomatch_guard}, {10,sys_core_fold,{eval_failure,badarith}}, {15,sys_core_fold,{eval_failure,badarith}} |