Age | Commit message (Collapse) | Author |
|
|
|
Ensure that -on_load functions are not reported as unused
Unknown types are being reported by dialyzer's GUIs
Fix bug in remote type solving
Review by Kostis Sagonas and fixes
Simplify external vs bad calls check
Remove callgraph from the state used during solving
Refactorings in dialyzer_typesig
Avoid unnecessary passing of huge terms in some closures
Further simplifications
Remove redundant code
Simplify dialyzer_succ_typings code
Cleanups in dialyzer_callgraph and dialyzer_dataflow
Zero-arity unused functions Dialyzer patch
Cleanup debug messages in dialyzer_dataflow
Refactorings in dialyzer_analysis_callgraph
Allow t_opaque_structure to handle multiple opaque types
Support alternative spelling of behaviour
Refactor function selection by Dialyzer's codeserver
Prettify spec
Small fixes for Dialyzer's testsuites generation
|
|
|
|
|
|
|
|
|
|
|
|
* egil/r16/redocument-scheduler_wall_time/OTP-9858:
Update preloaded erlang.beam
doc: Reintegrate R15B01 scheduler_wall_time doc
|
|
* maint:
Update primary bootstrap
v3_life: Use common code for guards and bodies
v3_core: Don't put negative line numbers in annotations
v3_kernel: Dig out the line number only when generating a warning
v3_kernel: Clean up handling of guards
v3_kernel: Introduce is_in_guard/1
v3_kernel: Removed unreached clause for #k_bin_int{} in sub_size_var/1
v3_kernel: Remove unreached handling of #k_bin_int{} in arg_con/1
v3_codegen: Eliminate the special case of 'put' without destination
v3_kernel: Don't attempt to share identical literals
v3_kernel: Handle sequences in guards
v3_kernel: Remove clauses that are never executed in arg_val/1
v3_kernel.hrl: Remove unused record #k_string{}
v3_kernel.erl: Remove unused define of EXPENSIVE_BINARY_LIMIT
sys_core_fold: Refactor previous_ctx_to_binary/2 to cover it completely
sys_core_fold: Fix opt_guard_try/1
sys_core_fold: Simplify opt_bool_not() to cover it completely
sys_core_fold: Remove duplicate optimization
|
|
|
|
|
|
* bjorn/compiler/coverage-and-minor-fixes/OTP-9982:
v3_life: Use common code for guards and bodies
v3_core: Don't put negative line numbers in annotations
v3_kernel: Dig out the line number only when generating a warning
v3_kernel: Clean up handling of guards
v3_kernel: Introduce is_in_guard/1
v3_kernel: Removed unreached clause for #k_bin_int{} in sub_size_var/1
v3_kernel: Remove unreached handling of #k_bin_int{} in arg_con/1
v3_codegen: Eliminate the special case of 'put' without destination
v3_kernel: Don't attempt to share identical literals
v3_kernel: Handle sequences in guards
v3_kernel: Remove clauses that are never executed in arg_val/1
v3_kernel.hrl: Remove unused record #k_string{}
v3_kernel.erl: Remove unused define of EXPENSIVE_BINARY_LIMIT
sys_core_fold: Refactor previous_ctx_to_binary/2 to cover it completely
sys_core_fold: Fix opt_guard_try/1
sys_core_fold: Simplify opt_bool_not() to cover it completely
sys_core_fold: Remove duplicate optimization
|
|
* origin/peppe/common_test/otp-9899:
Fix broken repeat functionality
OTP-9899
|
|
* origin/peppe/common_test/otp-9898:
Create link to ct_run in the installation bin dir
OTP-9898
|
|
* origin/peppe/common_test/otp-9964_9975_9595:
Have ct_run clean up the code path after each test run
Fix problems with ct_run's code path manipulation
OTP-9964
OTP-9975
OTP-9595
|
|
|
|
In Core Erlang and later passes, compiler-generated code can be
indicated in two different ways: by negative line numbers and by
a 'compiler_generated' annotation.
Simplify the code and improve coverage by turning negative line
numbers positive and adding a 'compiler_generated' annotation in
the v3_core pass. That means that Core Erlang and latter passes
do not have deal with negative line numbers.
|
|
|
|
Handling of guards become a mess when andalso/orelse in guards
were introduced. Clean it up by using common code for most
constructs, regardless of where they occur, and when needed use
is_in_guard/1 to handle guard constructs differently.
|
|
|
|
|
|
* sverk/cpu-topology-crash:
erts: Fix crash on Linux if /sys/devices/system/node is not readable
OTP-9978
|
|
* origin/peppe/common_test/otp-9730:
Add column for group name in suite overview log file
OTP-9730
|
|
* origin/peppe/common_test/otp-9904_9900:
Introduce error notification printout in the tc log
OTP-9904
OTP-9900
|
|
* origin/peppe/common_test/otp-9830:
Fix problem with buffered DOWN messages
OTP-9830
|
|
* origin/peppe/common_test/otp-9958:
Fix problem with dropped suite- and test case names
OTP-9958
|
|
OTP-9899
|
|
OTP-9898
|
|
OTP-9595
|
|
OTP-9964
OTP-9975
|
|
OTP-9730
|
|
Also fix problem with parallel test cases printing "into each other"
(when using ct:print or ct:pal).
OTP-9904
OTP-9900
|
|
|
|
|
|
|
|
* egil/redocument-scheduler_wall_time/OTP-9858:
doc: Enhance wording and remove typos
doc: Move examples and notes into tag-lists
doc: Rewording of scheduler_wall_time
doc: Change variable name to 'A' to reflect Active
doc: Rewording of scheduler busy
Update scheduler_wall_time documentation
|
|
* sverk/threadsafe-code-loading: (59 commits)
erts: Fix assert failure when code_server exits "during" commit
erts: Fix memory leak in code loading
erts: Adapt gdb etp-command for new beam_ranges
erts: Set correct default tracing when loading code
erts: Fix faulty assert in non-smp debug vm
erts: Use correct macro for "yield-return"
erts: Refactor code loading with renaming
erts: Seize code_ix lock when updating trace settings
erts: Switch order between code_ix lock and thread blocking
erts: Fix race bug in finish_after_on_load
erts: Refactor export staging lock
erts: Activate staged code in a thread safe way
erts: Suspend processes waiting for code_ix lock
erts: Fix compiler warning in inet_drv
erts: Fix single threaded fallback in new BIF finish_loading_1
erts: Fix type bug
Break apart erlang:load_module/2 into two separate BIFs
Use magic binaries in erts_prepare_loading() and erts_finish_loading()
erts: Cleanup non-blocking load
erts: Fix memory query for non-blocking module table
...
OTP-9974
|
|
* maint:
Add filter for ssh undefined function calls
|
|
* lukas/system/ssh_undef_function:
Add filter for ssh undefined function calls
|
|
* maint:
Ignore non-app suites when checking suites to skip
Create special spec file when application is missing
|
|
maint
* lukas/test_server/ts_skip_unknown_applications/OTP-9971:
Ignore non-app suites when checking suites to skip
Create special spec file when application is missing
|
|
Fallback on using /sys/devices/system/cpu to get cpu topology,
as is already done when node directory doesn't exist.
|
|
|
|
When an application cannot be found by ts, a special skip
testspec is created which skips all tests in that application.
|
|
* maint:
Add so that <img> tags will be transformed to <image>
Allow 1..2 types to be exported from edoc
|
|
* lukas/erl_docgen/fix_range_type/OTP-9970:
Add so that <img> tags will be transformed to <image>
Allow 1..2 types to be exported from edoc
|
|
OTP-9830
|
|
|
|
|
|
|