<font size=2 face="sans-serif">Hello Tuncer,</font>
<br>
<br><tt><font size=2>tuncer.ayaz@gmail.com a écrit sur 26/06/2015 23:42:18
:<br>
<br>
[...]</font></tt>
<br><tt><font size=2>> > Using 18.0, is there a way of specifying
to Dialyzer that warnings<br>
> > about calls to non-existing functions should be suppressed by<br>
> > telling that from outside of the module that is supposed to define<br>
> > these functions?<br>
> <br>
> Yes, Hans Bolinder was kind enough to add it on short notice during<br>
> the 18.0 cycle.<br>
> <br>
> We use it in rebar, which has to work on anything from R13B03 to 18.0.<br>
> </font></tt><a href=https://github.com/rebar/rebar/blob/6cc18c931c/src/rebar_utils.erl#L75:><tt><font size=2>https://github.com/rebar/rebar/blob/6cc18c931c/src/rebar_utils.erl#L75:</font></tt></a><tt><font size=2><br>
> <br>
> -dialyzer({no_missing_calls, escript_foldl/3}).<br>
> <br>
> This tells Dialyzer to ignore calls to unknown functions when<br>
> analyzing escript_foldl/3.<br>
> <br>
> Does this work for you?<br>
</font></tt>
<br><font size=2 face="sans-serif">Thanks for your reply and sorry for
my late message.</font>
<br>
<br><font size=2 face="sans-serif">The suppression I was mentioning regarded
a call from a plain module M1 to another module M2 that is generated at
runtime (compile:form/2) and then loaded (code:load_binary/3): Dialyzer
then sees in M1 an actual call to a module M2 that it cannot find (no source
nor BEAM file, for obvious reasons). </font>
<br>
<br><font size=2 face="sans-serif">In this case I do not think we can tell
Dialyzer to suppress this warning (since the -dialyzer attribute seems
to be meant to be used in the sources *of the module itself*, i.e. it would
have here to be specified in the sourceless M2).</font>
<br>
<br><font size=2 face="sans-serif">This is not a big issue (and these are
edges cases indeed), but it would be interesting if we could define 'global'
suppressions, or that would apply to a set of modules (similarly, Dialyzer
would not be able to see that conditional calls could be done based on
the actual availability of the exported function - using module_info/1
for that; Dialyzer would then detect a potential call to a non-existing
function, it would be neat if we could specify that these warnings should
be suppressed as we know that this cannot happen).</font>
<br>
<br><font size=2 face="sans-serif">Thanks again,</font>
<br><font size=2 face="sans-serif">Best,</font>
<br>
<br><font size=2 face="sans-serif">Olivier.</font>
<br>
<br><font size=2 face="sans-serif">---------------------------<br>
Olivier Boudeville<br>
<br>
EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France<br>
Département SINETICS, groupe ASICS (I2A), bureau B-226<br>
Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47
65 27 13</font>
<br><p></p>

<p><br>
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.</p>

<p>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.</p>

<p>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.<br>
____________________________________________________</p>

<p>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.</p>

<p>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.</p>

<p>E-mail communication cannot be guaranteed to be timely secure, error or virus-free.</p>