R11B-0 dialyzer internal error

Roger Larsson roger.larsson@REDACTED
Thu Jun 22 15:27:08 CEST 2006


Probably I use it in a completely wrong way...
(The unknoown functions did I also get during compilation)
SuSE Linux 10.1 (x86-64)

I am recompiling with relevant patches from threads
* "Dialyzer in R11B-0"
* "huge list matching -- different behaviour on x86_32 and x86_64"

/RogerL

> dialyzer --src
  Checking whether the initial PLT exists and is up-to-date... no
    Creating initial PLT (will take several minutes; please be patient)

Unknown functions: [{i,ipb,0},
                    {i,ini,1},
                    {i,ir,0},
                    {i,ii,1},
                    {crypto,des3_cbc_decrypt,5},
                    {i,iaa,2},
                    {i,ia,2},
                    {i,ic,0},
                    {i,ib,2},
                    {i,ir,2},
                    {yecc,file,2},
                    {i,ia,4},
                    {i,iv,0},
                    {crypto,start,0},
                    {i,ibd,2},
                    {i,ibe,2},
                    {int,eval,3},
                    {compile,forms,2},
                    {i,ia,1},
                    {i,inq,1},
                    {i,iaa,1},
                    {i,iq,1},
                    {i,ii,2},
                    {compile,file,2},
                    {i,ipb,1},
                    {i,ini,2},
                    {i,ir,1},
                    {yecc,file,1},
                    {i,il,0},
                    {i,iba,3},
                    {i,ia,3},
                    {i,ir,3},
                    {i,ist,1},
                    {xref,m,1},
                    {i,im,0},
                    {i,ib,3},
                    {i,ibc,3},
                    {i,ip,0},
                    {i,help,0},
                    {compile,output_generated,1}]
{badmatch,{error,
{file_error,"/usr/local/lib/erlang/lib/dialyzer-1.4.1/plt/dialyzer_init_plt",
                             eacces}}}
[{dialyzer_plt,to_dets,2},
 {dialyzer_cl,return_value,1},
 {dialyzer_cl_parse,doit,0},
 {dialyzer_cl_parse,start,0},
 {init,start_it,1},
 {init,start_em,1}]
dialyzer: internal error



More information about the erlang-questions mailing list