1%% Misc cases where Dialyzer would fail with system_limit or crash 2 3-module(limit). 4 5-export([tu/0, big/1, b2/0]). 6 7tu() -> 8 erlang:make_tuple(1 bsl 24, def, [{5,e},{1,a},{3,c}]). 9 10big(<<Int:1152921504606846976/unit:128,0,_/binary>>) -> {5,Int}. 11 12b2() -> 13 Maxbig = maxbig(), 14 _ = bnot Maxbig, 15 ok. 16 17maxbig() -> 18 %% We assume that the maximum arity is (1 bsl 19) - 1. 19 Ws = erlang:system_info(wordsize), 20 (((1 bsl ((16777184 * (Ws div 4))-1)) - 1) bsl 1) + 1. 21