[erlang-questions] Dialyzer: Unknown functions

Paulo F. Oliveira paulo.ferraz.oliveira@REDACTED
Tue Jun 24 18:27:02 CEST 2014


Great.

Reduced the --apps to ebin erts kernel stdlib and was able to make it work
like expected.

Thanks again.

- Paulo F. Oliveira


On 24 June 2014 17:11, Loïc Hoguin <essen@REDACTED> wrote:

> Unless you include all applications in OTP, yes.
>
> On 06/24/2014 06:10 PM, Paulo F. Oliveira wrote:
>
>> Thank you, Pierre and Loïc.
>>
>> In any case, is it normal to have warnings when building the PLT, then?
>>
>> - Paulo F. Oliveira
>>
>>
>> On 24 June 2014 17:05, Loïc Hoguin <essen@REDACTED
>> <mailto:essen@REDACTED>> wrote:
>>
>>     Is your code calling the cover, eprof, packages?? or xref functions
>>     there?
>>
>>     If not, then it's completely pointless to include them in your PLT!
>>
>>     You should only include the applications that your code uses,
>>     otherwise all you end up doing is dialyzing OTP when you build your
>>     PLT, which is probably not what you want.
>>
>>
>>     On 06/24/2014 05:58 PM, Paulo F. Oliveira wrote:
>>
>>         Hi.
>>
>>         I'm applying dialyzer to my project and still have a bunch of
>>         warnings
>>         whose origin I can't seem to figure out.
>>
>>         Unknown functions:
>>             cover:compile_beam/1
>>             cover:compile_beam/2
>>             cover:compile_module/2
>>             cover:export/2
>>             cover:get_term/1
>>             cover:import/1
>>             cover:is_compiled/1
>>             cover:module_info/1
>>             cover:write/2
>>             eprof:analyze/1
>>             eprof:log/1
>>             eprof:start/0
>>             eprof:start_profiling/1
>>             eprof:stop_profiling/0
>>             packages:last/1
>>             packages:strip_last/1
>>             xref:add_application/3
>>             xref:analyze/2
>>             xref:set_default/3
>>             xref:set_library_path/2
>>             xref:start/2
>>             xref:stop/1
>>         Unknown types:
>>             ...
>>
>>         I'm using the following to generate the PLT:
>>
>>         dialyzer --build_plt --verbose --statistics -Wunmatched_returns
>>         -Werror_handling -Wrace_conditions -Wunderspecs -Woverspecs
>>         -Wspecdiffs
>>         -r deps --apps ebin asn1 compiler crypto erts hipe inets kernel
>>         public_key runtime_tools sasl ssl stdlib syntax_tools xmerl edoc
>>         eunit
>>         gs mnesia -I include
>>
>>         Does anybody know how to solve this (I don't want to ignore the
>>         warnings) or could probably point me in the right direction so
>>         that I
>>         can figure it out?
>>
>>         Thanks.
>>
>>         Cheers.
>>
>>         - Paulo F. Oliveira
>>
>>
>>         _________________________________________________
>>         erlang-questions mailing list
>>         erlang-questions@REDACTED <mailto:erlang-questions@REDACTED>
>>         http://erlang.org/mailman/__listinfo/erlang-questions
>>         <http://erlang.org/mailman/listinfo/erlang-questions>
>>
>>
>>     --
>>     Loïc Hoguin
>>     http://ninenines.eu
>>
>>
>>
>>
>> _______________________________________________
>> erlang-questions mailing list
>> erlang-questions@REDACTED
>> http://erlang.org/mailman/listinfo/erlang-questions
>>
>>
> --
> Loïc Hoguin
> http://ninenines.eu
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20140624/604d3c94/attachment.htm>


More information about the erlang-questions mailing list