Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dialyzr consume too much memory #8681

Closed
williamweicode opened this issue Jul 23, 2024 · 0 comments
Closed

Dialyzr consume too much memory #8681

williamweicode opened this issue Jul 23, 2024 · 0 comments
Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM waiting waiting for changes/input from author

Comments

@williamweicode
Copy link

williamweicode commented Jul 23, 2024

While running dialyzer with rebar3,it consumes too much memory

image

===> Analyzing applications...
===> Compiling gpb
===> Compiling rebar3_gpb_plugin
Rebar3 report
version 3.22.1
generated at 2024-07-23T06:31:10+00:00

Please submit this along with your issue at https://github.com/erlang/rebar3/issues (and feel free to edit out private information, if any)

Task: dialyzer
Entered as:
dialyzer

Operating System: x86_64-pc-linux-gnu
ERTS: Erlang/OTP 26 [erts-14.2] [source] [64-bit] [smp:16:16] [ds:16:16:10] [async-threads:1] [jit:ns]
Root Directory: /opt/erlang/26.2
Library directory: /opt/erlang/26.2/lib

Loaded Applications:
bbmustache: 1.12.2
certifi: 2.11.0
cf: 0.3.1
common_test: 1.26
compiler: 8.4.1
crypto: 5.4
cth_readable: 1.5.1
dialyzer: 5.1.2
edoc: 1.2.1
erlware_commons: 1.6.0
eunit: 2.9
eunit_formatters: 0.5.0
getopt: 1.0.2
inets: 9.1
kernel: 9.2
providers: 1.9.0
public_key: 1.15
relx: 4.8.0
sasl: 4.2.1
snmp: 5.15
ssl_verify_fun: 1.1.6
stdlib: 5.2
syntax_tools: 3.1
tools: 3.6


Escript path: /home///***/rebar3
Providers:
app_discovery as clean clean compile compile compile cover ct deps dialyzer do edoc escriptize eunit get-deps help install install_deps list lock new path pkgs release relup report repos shell state tar tree unlock update upgrade upgrade upgrade vendor version xref

rebar config:
{dialyzer, [
{base_plt_apps, [erts, crypto, kernel, stdlib, mnesia, inets, runtime_tools, eunit]},
{warnings, [error_handling, unknown, no_return, no_unused]},
{plt_apps, all_deps}
]}.

cmd:
./rebar3 dialyzer --incremental

@williamweicode williamweicode added the bug Issue is reported as a bug label Jul 23, 2024
@RaimoNiskanen RaimoNiskanen added the team:VM Assigned to OTP team VM label Jul 23, 2024
@jhogberg jhogberg added the waiting waiting for changes/input from author label Jul 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Issue is reported as a bug team:VM Assigned to OTP team VM waiting waiting for changes/input from author
Projects
None yet
Development

No branches or pull requests

3 participants