<html>
    <head>
      <base href="https://bugs.freedesktop.org/" />
    </head>
    <body>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW --- - Use STACK lint tool to clean code ..."
   href="https://bugs.freedesktop.org/show_bug.cgi?id=71043#c14">Comment # 14</a>
              on <a class="bz_bug_link 
          bz_status_NEW "
   title="NEW --- - Use STACK lint tool to clean code ..."
   href="https://bugs.freedesktop.org/show_bug.cgi?id=71043">bug 71043</a>
              from <span class="vcard"><a class="email" href="mailto:sbergman@redhat.com" title="Stephan Bergmann <sbergman@redhat.com>"> <span class="fn">Stephan Bergmann</span></a>
</span></b>
        <pre>From <span class=""><a href="attachment.cgi?id=88771" name="attach_88771" title="stack_result">attachment 88771</a> <a href="attachment.cgi?id=88771&action=edit" title="stack_result">[details]</a></span>:

<span class="quote">> bug: anti-simplify
> model: |
>   %68 = icmp eq %"class.configmgr::configuration_registry::<anonymous namespace>::RegistryKey"* %2, null, !dbg !5935
>   -->  false
> stack: 
>   - /home/vanz/git/mylibo/configmgr/source/configurationregistry.cxx:398:0
> ncore: 1
> core: 
>   - /home/vanz/git/mylibo/workdir/unxlngx6.pro/UnoApiHeadersTarget/udkapi/normal/com/sun/star/uno/XInterface.hdl:18:0
>     - null pointer dereference</span >

For me, configmgr/source/configurationregistry.cxx:398 is

<span class="quote">>     return new RegistryKey(*this, css::uno::makeAny(access_));</span >

and
workdir/unxlngx6.pro/UnoApiHeadersTarget/udkapi/normal/com/sun/star/uno/XInterface.hdl:18
is

<span class="quote">> class SAL_NO_VTABLE XInterface</span >

Are they any different for you?

I'm not exactly sure what code this report is supposed to be about.  It might
be about the if statement in the implicit call to inline

<span class="quote">> template< class interface_type >
> inline Reference< interface_type >::Reference( interface_type * pInterface ) SAL_THROW(())
> {
>     _pInterface = castToXInterface(pInterface);
>     if (_pInterface)
>         _pInterface->acquire();
> }</span >

which is redundant in this particular case where pInterace is non-null "new
RegistryKey(...)" and castToXInterface is an inline function that transfers
non-null pointer to non-null pointer.  But that would mean that STACK is
unhelpfully too eager in reporting findings in inlined codes.</pre>
        </div>
      </p>
      <hr>
      <span>You are receiving this mail because:</span>
      
      <ul>
          <li>You are on the CC list for the bug.</li>
      </ul>
    </body>
</html>