diff options
author | Björn Gustavsson <[email protected]> | 2015-05-29 10:52:04 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2015-05-29 10:52:04 +0200 |
commit | 6635bfa7c480d33d43874f4b37b7c461ba04db23 (patch) | |
tree | 262a0c6a6cfd507a3e8afb40a29d849d044b09dc /lib/hipe | |
parent | eca01e7621918cb81535d0243d28adcc8dfbba34 (diff) | |
parent | 0f5916b35938c983cd5a4a9931730a5e554358f3 (diff) | |
download | otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.tar.gz otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.tar.bz2 otp-6635bfa7c480d33d43874f4b37b7c461ba04db23.zip |
Merge branch 'legoscia/dialyzer/cache-hipe-binaries/OTP-12779'
* legoscia/dialyzer/cache-hipe-binaries/OTP-12779:
Dialyzer to cache results of HiPE compilation
Change hipe_bifs:system_crc/1 to hipe_bifs:system_crc/0
Diffstat (limited to 'lib/hipe')
-rw-r--r-- | lib/hipe/cerl/erl_bif_types.erl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/hipe/cerl/erl_bif_types.erl b/lib/hipe/cerl/erl_bif_types.erl index 5b1401b34a..ee77d65932 100644 --- a/lib/hipe/cerl/erl_bif_types.erl +++ b/lib/hipe/cerl/erl_bif_types.erl @@ -1113,8 +1113,8 @@ type(hipe_bifs, set_native_address, 3, Xs, Opaques) -> type(hipe_bifs, set_native_address_in_fe, 2, Xs, Opaques) -> strict(hipe_bifs, set_native_address_in_fe, 2, Xs, fun (_) -> t_atom('true') end, Opaques); -type(hipe_bifs, system_crc, 1, Xs, Opaques) -> - strict(hipe_bifs, system_crc, 1, Xs, fun (_) -> t_crc32() end, Opaques); +type(hipe_bifs, system_crc, 0, _, _Opaques) -> + t_crc32(); type(hipe_bifs, term_to_word, 1, Xs, Opaques) -> strict(hipe_bifs, term_to_word, 1, Xs, fun (_) -> t_integer() end, Opaques); @@ -2490,8 +2490,8 @@ arg_types(hipe_bifs, set_native_address, 3) -> [t_mfa(), t_integer(), t_boolean()]; arg_types(hipe_bifs, set_native_address_in_fe, 2) -> [t_integer(), t_integer()]; -arg_types(hipe_bifs, system_crc, 1) -> - [t_crc32()]; +arg_types(hipe_bifs, system_crc, 0) -> + []; arg_types(hipe_bifs, term_to_word, 1) -> [t_any()]; arg_types(hipe_bifs, update_code_size, 3) -> |