<div dir="auto">What kind of dal? Lentil?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 27 Nov 2024 at 2:32 PM, Xisco Fauli <<a href="mailto:xiscofauli@libreoffice.org">xiscofauli@libreoffice.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><u></u>

  
    
  
  <div>
    <p>Hello,</p>
    <p>Unfortunately now it's flagging a lot of issues like</p>
    <p>const SfxBoolItem* pStateItem = dynamic_cast<const
      SfxBoolItem*>( pItem  );<br>
      assert(pStateItem); // SfxBoolItem expected<br>
      if (pStateItem)<br>
      ↑ V547 Expression 'pStateItem' is always true.</p>
    <p>which is not ideal either, so I updated the report again without
      //V_ASSERT_CONTRACT</p>
    <div>On 25/11/24 10:09, Xisco Fauli wrote:<br>
    </div>
    <blockquote type="cite">
      
      <p>Hello,<br>
      </p>
      <div>On 21/11/24 13:41, Caolán McNamara
        wrote:<br>
      </div>
      <blockquote type="cite">
        <pre><pre>On Thu, 2024-11-21 at 12:51 +0100, Xisco Fauli wrote:
</pre><blockquote type="cite" style="color:#007cff"><pre>-> it can be fixed with 
<a href="https://pvs-studio.com/en/docs/manual/0040/#IDBD1CC960F7" target="_blank">https://pvs-studio.com/en/docs/manual/0040/#IDBD1CC960F7</a>
</pre></blockquote><pre>Do I read it right, that it just has to see the comment somewhere, e.g.
if added to include/sal/config.h to treat all asserts like that ?</pre></pre>
      </blockquote>
      <p>Yes, that's one way. The other one is to pass a config file to
        pvs-studio-analyzer with the -R flag. <a href="https://report.dev.libreoffice.org/" target="_blank">https://report.dev.libreoffice.org/</a>
        has been updated using //V_ASSERT_CONTRACT</p></blockquote></div><div><blockquote type="cite"><p><br>
      </p>
      <pre cols="72">-- 
Xisco Faulí
LibreOffice QA Team
IRC: x1sc0</pre>
    </blockquote>
    <pre cols="72">-- 
Xisco Faulí
LibreOffice QA Team
IRC: x1sc0</pre>
  </div>

</blockquote></div></div>