diff options
| author | Björn Gustavsson <[email protected]> | 2011-11-30 15:47:46 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-11-30 15:57:19 +0100 |
| commit | 06664761fca25750e7881f4e6e6a0057da60cd4d (patch) | |
| tree | 8968a47d347da684c0335ece456521033d25854e /erts/preloaded/src | |
| parent | 155e7dd2a3aaffb713d11a0593ca7f7b8cdf9057 (diff) | |
| download | otp-06664761fca25750e7881f4e6e6a0057da60cd4d.tar.gz otp-06664761fca25750e7881f4e6e6a0057da60cd4d.tar.bz2 otp-06664761fca25750e7881f4e6e6a0057da60cd4d.zip | |
erlang: Eliminate a clause in aa_mem_data/2 that can never match
aa_mem_data/2 is only called by aa_mem_data/1 and itself.
aa_mem_data/1 called with the argument 'notsup' will never
call aa_mem_data/2. aa_mem_data/2 will only call itself with
a #memory{} record as the first argument. QED.
Noticed-by: Dialyzer.
Diffstat (limited to 'erts/preloaded/src')
| -rw-r--r-- | erts/preloaded/src/erlang.erl | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl index e9a59a7aaf..4affc9bffe 100644 --- a/erts/preloaded/src/erlang.erl +++ b/erts/preloaded/src/erlang.erl @@ -1091,8 +1091,6 @@ receive_emd(Ref, EMD, N) -> receive_emd(Ref) -> receive_emd(Ref, #memory{}, erlang:system_info(schedulers)). -aa_mem_data(notsup, _) -> - notsup; aa_mem_data(#memory{} = Mem, [{maximum, Max} | Rest]) -> aa_mem_data(Mem#memory{maximum = Max}, |