Skip to content

dialyzer: fix crash with nominal types #160

dialyzer: fix crash with nominal types

dialyzer: fix crash with nominal types #160

GitHub Actions / CT Test Results succeeded Dec 2, 2024 in 0s

All 475 tests pass, 2 skipped in 16m 8s

  2 files   42 suites   16m 8s ⏱️
477 tests 475 ✅ 2 💤 0 ❌
565 runs  563 ✅ 2 💤 0 ❌

Results for commit 511e33b.

Annotations

Check notice on line 0 in .github

See this annotation in the file changed.

@github-actions github-actions / CT Test Results

2 skipped tests found

There are 2 skipped tests, see "Raw output" for the full list of skipped tests.
Raw output
nt
test_runtime_dependencies_versions

Check notice on line 0 in .github

See this annotation in the file changed.

@github-actions github-actions / CT Test Results

477 tests found

There are 477 tests, see "Raw output" for the full list of tests.
Raw output
abs
absorption
add_and_remove_test
add_and_remove_test_with_unknown_warnings
adding_legal_warnings_with_existing_stored_warnings_in_plt_results_in_new_warnings_being_printed
adding_warning_apps_after_a_run_without_them_causes_any_new_warnings_to_be_reported
ancient_major
anno
app_call
app_test
appmon_place
appup_test
areq
arg_overflow
args_file
args_file_env
argument_separation
argument_with_option
arr
array
asn1
associativity
atom_call
atom_guard
atom_widen
atomic
bad_argument
bad_dialyzer_attr
bad_record_type
bad_specs
basic
beam_tests
beams_with_no_debug_info_are_rejected
behaviour_SUITE_consistency
behaviour_info
bif1
big_external_type
big_local_type
bin white space
bin_default
bin_default_dirty
bin_dirname_fail
bin_no_srcfile
bin_no_use_dirname_fail
bin_not_abs
bin_ok_symlink
bin_outside_eprfx
bin_outside_eprfx_dirty
bin_same_dir
bin_unreachable_absolute
bin_unreachable_relative
bin_unreasonable_path
binary_lc_bug
binary_nonempty
binary_redef2
blame_contract_range
blame_contract_range_suppressed
broadcast
broken_dialyzer
bsL
bs_constraints
bs_fail_constr
bs_segments
bs_utf8
bug
build_plt
build_xdg_plt
call_to_deprecated
call_to_missing_warning_includes_callsite
call_to_now_0
call_to_size_1
callbacks_and_specs
callgraph_SUITE_consistency
can_add_multiple_plts_to_another_plt
character
chars
classic_plt_given_to_incremental_mode
codec_can
collapse_lists
common_eunit
commutativity
compare1
comparisons
compile_erl
compile_mib
compile_script
compile_yecc
compiler
cond_wait
confusing_warning
consistency_and_to_string
contract
contract2
contract3
contract5
contract_violation
contracts_with_subtypes
contracts_with_subtypes2
core_files
cplt_info
crash
create_join_thread
custom_sup
cuter
ddfs_master
deep_cwd
deep_lc
default_apps_config_env_var
default_apps_config_env_var_prioritised_over_xdg
default_apps_config_xdg
default_ignore_overlapping_contract
default_ignore_overlapping_contract_SUITE_consistency
defunct
deprecated_not_in_obsolete
detached_thread
dict
dict_use
disj_norm_form
ditrap
dw_atomic_massage
eep37
empty_list_infimum
end_per_group
end_per_suite
env
eqeq
equal_tids
erl_file_encoding
erl_tar_table
erlang_display
ets
ets_select
ets_update_counter
evil_args_file
ewgi
ewgi2
exact
exhaust_case
extra_range
extra_return
extra_return_SUITE_consistency
failing_funs
failing_guard1
false_false
features
features_all
features_atom_warnings
features_directives
features_disable
features_erlc_describe
features_erlc_unknown
features_include
features_load
features_macros
features_runtime
file_list
file_open_encoding
fixing_all_warnings
flatten
float
fun2ms
fun_app
fun_app_args
fun_arity
fun_named
fun_ref_match
fun_ref_record
funs_from_outside
gb_sets
gcpFlowControl
gen_event_incorrect_return
gen_server_incorrect_args
gen_server_missing_callbacks
gen_server_not_exported
gencall
generated_case
gh6580
gh_6296_no_spec_flag_does_not_break_records
gh_6518
gh_7153
good_citizen
gs_make
guard_update
guard_warnings
guards
heavier
heavy
higher_order_discrepancy
higher_order_discrepancy_2
hipe_vectors
idempotence
identity
if_output_plt_is_missing_incremental_mode_makes_it
incremental_plt_given_to_classic_mode
incremental_select_warnings_test
incremental_test
indent2_SUITE_consistency
indent_SUITE_consistency
indirect_unknown_types
inets
inf_loop1
inf_loop2
init_per_group
init_per_suite
initial_dataflow
int
integer
inv_mult
invalid_spec_2
invalid_specs
iodata
iolist
iplt_info
is_map_guard
kernel
keydel
lc_warnings
left_assoc
legal_warnings_config_xdg
letrec1
letrec_rvals
limit
line_SUITE_consistency
line_coverage
list_match
list_none
list_to_bitstring
lists_key_bug
literals
local_fun_same_as_callback
logical_processors
loop
loopy
lzip
major
make_dep_options
make_tuple
mand_remote_val
map_SUITE_consistency
map_anon_fun
map_galore
map_in_guard
map_in_guard2
map_multiple_representations
map_size
maps1
maps_difftype
maps_merge
maps_redef2
maps_remove
maps_sum
max_threads
maybe_improper
maybe_servers
merge_plts
minor
minus_minus
misc
missing_args_file
missing_plt_file
missing_return
missing_return_SUITE_consistency
mixed_opaque
mnesia
mod_dep_from_behaviour
mod_dep_from_callback_args
mod_dep_from_callback_constraint
mod_dep_from_callback_return
mod_dep_from_exported_fun_spec_args
mod_dep_from_exported_fun_spec_constraint
mod_dep_from_exported_fun_spec_return
mod_dep_from_exported_opaque_type
mod_dep_from_exported_opaque_type_args
mod_dep_from_exported_overloaded_fun_spec
mod_dep_from_exported_type
mod_dep_from_exported_type_args
mod_dep_from_overloaded_callback
mod_dep_from_record_definition_field_type
mod_dep_from_record_definition_field_value_default_unused
mod_dep_from_record_definition_field_value_default_used
mod_dep_from_unexported_fun_spec_args
mod_dep_from_unexported_fun_spec_constraint
mod_dep_from_unexported_fun_spec_return
mod_dep_from_unexported_opaque_type
mod_dep_from_unexported_opaque_type_args
mod_dep_from_unexported_overloaded_fun_spec
mod_dep_from_unexported_type
mod_dep_from_unexported_type_args
mod_info
modules
ms
multiple_plts_unsupported_in_incremental_mode
multiple_wrong_opaques
mutex
my_digraph
my_filter
my_queue
my_sofs
no_local_return
no_match
no_return_bug
no_unused_fun
no_unused_fun2
non_existing
none_scc_inf_loop
not_bogus_warning
not_guard_crash
nowarn_function
nowarn_function_SUITE_consistency
nowarn_unused_function_1
nowarn_unused_function_2
nowarn_unused_function_3
nowarnunused
nt
obsolete_but_not_deprecated
on_load
opaque
opaque_SUITE_consistency
opaque_bif
opaque_key
options1_SUITE_consistency
options2_SUITE_consistency
options3_SUITE_consistency
or_bug
order
orelsebug
orelsebug2
otp_6221
otp_7461
overlapping_contract
overlapping_contract_SUITE_consistency
overloaded
overloaded1
overspecs_SUITE_consistency
p_map_handles_errors_like_map_does
p_map_implements_map
p_map_preserves_ordering
para
para_bug
param_types_crash
paths_config_xdg
port_info_test
predef
pretty_bitstring
process_info_test
qlc_error
queue
queue_use
quote
r9c_SUITE_consistency
reading_from_and_writing_to_one_plt_mutates_it
reading_from_one_plt_and_writing_to_another_does_not_mutate_the_input_plt
rebar_no_return
rec
receive1
record_construct
record_creation_diffs
record_match
record_pat
record_send_test
record_test
record_update
recrec
recursive_types1
recursive_types2
recursive_types3
recursive_types4
recursive_types5
recursive_types6
recursive_types7
redefine_builtin_type
redefine_builtins
refine_bug1
refine_failing
relevant_record_warning
remote
remote_field
remote_field2
remote_tuple_set
remove_plt
removing_legal_warnings_with_existing_stored_warnings_in_plt_does_not_result_in_old_warnings_being_printed
removing_warning_apps_after_a_run_with_them_causes_any_warnings_for_the_removed_apps_not_to_be_reported
report_degree_of_incrementality_test
report_legal_warnings_added
report_legal_warnings_removed
report_new_plt_test
report_no_stored_warnings_test
report_old_plt_version_hash_test
report_old_plt_version_number_test
report_stored_warnings_no_files_changed_test
report_stored_warnings_only_files_safely_removed_test
request1
run_plt_check
run_succ_typings
runtime_dependencies_functions
runtime_dependencies_modules
rwmutex
rwspinlock
sample_behaviour
sample_behaviour_old
schuett_bug
send
simple
sleepy_child
small_SUITE_consistency
smoke
smoke_incremental_plt
snprintf
specdiffs_SUITE_consistency
spinlock
spvcOrig
stack
stacktrace
string
strong_components
subtract_value_flip
supervisor_incorrect_return
suppress_request
suppression1
suppression2
suppression3
test_message_queue_data_switching
test_missing_functions
test_product_app
test_runtime_dependencies_versions
test_throughput_benchmark
thread_name
timer
toth
trec
try1
try2
try_lock_mutex
tsd
tuple1
tuple_set_crash
typeflow
typeflow2
types_arity
typesig
undefined_callbacks
undefined_functions
underspecs_SUITE_consistency
unicode
unicode_paths
union
union_paren
unknown_arity_function_spec
unknown_function
unknown_function_warning_includes_callsite
unknown_type
unmatched_returns_SUITE_consistency
unsafe_beamcode_bug
unused_cases
unused_clauses
unused_funs
unused_unknown_type
update_plt
user_SUITE_consistency
vars_in_beh_spec
verify_plt_info
verify_plt_info_with_unknown_warnings
warn_function
weird
wings
wpc_hlines
wsp_pdu
xml_file_encoding
zdbbl_dist_buf_busy_limit
zero_tuple
zoltan_adt
zoltan_kis1
zoltan_kis2
zoltan_kis3
zoltan_kis4
zoltan_kis5
zoltan_kis6