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