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 | |
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.
-rw-r--r-- | erts/preloaded/ebin/erlang.beam | bin | 39568 -> 41124 bytes | |||
-rw-r--r-- | erts/preloaded/src/erlang.erl | 2 |
2 files changed, 0 insertions, 2 deletions
diff --git a/erts/preloaded/ebin/erlang.beam b/erts/preloaded/ebin/erlang.beam Binary files differindex dda24d4405..a21e5c6e06 100644 --- a/erts/preloaded/ebin/erlang.beam +++ b/erts/preloaded/ebin/erlang.beam 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}, |