[erlang-questions] PLT for R15B

[Bengt Kleberg]

Greetings,

You mention that you no longer get memory exhaustion when building a PLT
for OTP. Is this correct? When I did

dialyzer -build_otp -r lib/*-0/ebin

I run out of memory on a 4 GB Linux machine.


bengt

On Thu, 2012-01-05 at 10:37 +0100, Olivier BOUDEVILLE wrote:
> 
> Hi, 
> 
> Just to report a few warnings that are output when generating the full
> PLT for R15B, as it may highlight a few minor defects: 
> 
> """ 
> client_server.erl:34: Call to missing or unexported function
> ssl:seed/1 
> client_server.erl:49: Call to missing or unexported function
> ssl:peercert/2 
> client_server.erl:66: Call to missing or unexported function
> ssl:peercert/2 
> eunit_test.erl:302: Call to missing or unexported function
> eunit_test:nonexisting_function/0 
> xrc.erl:124: Call to missing or unexported function
> wxXmlResource:reload/2 
> Unknown functions: 
>   asn1rt_driver_handler:load_driver/0 
>   wxWindows:'Destroy'/1 
>   wx_core:quit/0 
> """
> 
> On a side note, even before R15B, on some low-end computers (typically
> a 32-bit laptop with only 1GB of RAM, yet with some swap) we were not
> able anymore to generate that kind of full PLT, due to memory
> exhaustion. 
> 
> As for eunit_test:nonexisting_function/0, this does not look at all as
> a defect, so it might be interesting to be able to hide those expected
> warnings one way or another (dialyzer suppression files anyone?). 
> 
> Best regards, 
> 
> Olivier.
> ---------------------------
> Olivier Boudeville
> 
> EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France
> Département SINETICS, groupe ASICS (I2A), bureau B-226
> Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1
> 47 65 27 13
> 
> 
> Ce message et toutes les pièces jointes (ci-après le 'Message') sont
> établis à l'intention exclusive des destinataires et les informations
> qui y figurent sont strictement confidentielles. Toute utilisation de
> ce Message non conforme à sa destination, toute diffusion ou toute
> publication totale ou partielle, est interdite sauf autorisation
> expresse.
> 
> Si vous n'êtes pas le destinataire de ce Message, il vous est interdit
> de le copier, de le faire suivre, de le divulguer ou d'en utiliser
> tout ou partie. Si vous avez reçu ce Message par erreur, merci de le
> supprimer de votre système, ainsi que toutes ses copies, et de n'en
> garder aucune trace sur quelque support que ce soit. Nous vous
> remercions également d'en avertir immédiatement l'expéditeur par
> retour du message.
> 
> Il est impossible de garantir que les communications par messagerie
> électronique arrivent en temps utile, sont sécurisées ou dénuées de
> toute erreur ou virus.
> ____________________________________________________
> 
> This message and any attachments (the 'Message') are intended solely
> for the addressees. The information contained in this Message is
> confidential. Any use of information contained in this Message not in
> accord with its purpose, any dissemination or disclosure, either whole
> or partial, is prohibited except formal approval.
> 
> If you are not the addressee, you may not copy, forward, disclose or
> use any part of it. If you have received this message in error, please
> delete it and all copies from your system and notify the sender
> immediately by return message.
> 
> E-mail communication cannot be guaranteed to be timely secure, error
> or virus-free.