These two are preliminary patches generated from dereference of null pointer reports. Let's see how this goes. If I got it right, I'll continue to work on this. If I got it wrong, I'll let someone more experienced deal with these kind of warnings.
Below are the links to reports. [PATCH 1/2] i386/i386/user_ldt.c: check ldt https://teythoon.cryptobitch.de/qa/2013-11-02/gnumach/scan-build.report/report-BQk1Be.html#EndPath [PATCH 2/2] i386/i386/fpu.c: check machine state before setting fp_valid https://teythoon.cryptobitch.de/qa/2013-11-02/gnumach/scan-build.report/report-q7a85p.html#EndPath