Andrew Bird
Andrew Bird
I'm looking at clearing up a few more Coverity warnings and looking at DOS_HELPER_GET_UNIX_ENV. I don't seem to see any callers of it, but its implementation suggests that on entry...
I have a couple of references to uninitialised data to fix in ports.c. What should I be setting pr.word to? 
It seems to have the same problem as Coverity in that after `leavedos()` it continues processing and finds errors. I did try to teach Coverity to treat that like `exit()`,...
There seems to be a Clang specific attribute `__attribute__((analyzer_noreturn))`, I'll try that.
Oh, so I'll look again at what I believed were false positives. Thanks!
So if `leavedos()` returns, is this a real problem? 
@bartoldeman did you get a chance to try rebasing my ci-12 QEMU FPU test branch on top of your FPU work? I did it locally rather than in Github Actions...
DRKERNEL.SYS +1
Perhaps it would help to setup Coverity static scanning from Github?
I did set it up once for dosemu once, but it will take quite some effort to make dosemu pass the checks cleanly