C bug causes double fault

[Erin Filbert]

While writing a deceptively simple C program, I managed to crash the entire
system here.  The following code:

main()
{
	float x;

	printf("x = %d", x);
}

will send the system into double fault.  I am using Microport System V
Release 2 on a 286 machine (AT Clone).

Has anyone else encountered this problem?  Are there any patches for it?  
The last time this happened, restarting the system caused severe file
damage.  

Any help would be greatly appreciated.

-- 
-------------------------------------------------------------------------------
I'm sorry.  I think we might have      |           Erin M. Filbert
been better off with a slide rule.     |   
   - Zaphod Beeblebrox                 |   Path: pacbell!sactoh0!tree!zarquon