Sorry, not actually a post-condition, there are other return statements.<br><br>On Thursday, March 12, 2020, Jefferson Carpenter &lt;<a href="mailto:jeffersoncarpenter2@gmail.com">jeffersoncarpenter2@gmail.com</a>&gt; wrote:<br>&gt; Sets module in all code paths.  Has the effect that module being initialized is a post-condition of load_desktop_driver.<br>&gt;<br>&gt; Will fix this bug: <a href="https://bugs.winehq.org/show_bug.cgi?id=48742">https://bugs.winehq.org/show_bug.cgi?id=48742</a><br>&gt;<br>&gt; thanks,<br>&gt; Jefferson Carpenter<br>&gt;