Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!rutgers!ames!ucbcad!ucbvax!decvax!tektronix!uw-beaver!cornell!gvax!jqj
From: jqj@gvax.UUCP
Newsgroups: comp.unix.wizards
Subject: microVAX emulator bug in 4.3BSD
Message-ID: <683@gvax.cs.cornell.edu>
Date: Fri, 16-Jan-87 08:09:21 EST
Article-I.D.: gvax.683
Posted: Fri Jan 16 08:09:21 1987
Date-Received: Sat, 17-Jan-87 15:56:55 EST
Reply-To: jqj@gvax.cs.cornell.edu.cs.cornell.edu (J Q Johnson)
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 14

About a month ago a serious bug was reported in the VAX instruction
emulation code that is distributed as part of 4.3BSD
(/sys/machine/emulate.s).  To refresh your memory, the following 
program behaves incorrectly on a microVAX running 4.3 :

    main()
    {	float hpos = 0.9;
	printf("%.0f\n", hpos);
	printf("Correct answer is 1; 4.3BSD on uVAX gives 0\n");
    }

Besides verifying that the problem exists only in the 4.3BSD kernel and 
not on a microVAX running Ultrix 1.2, I have not made any progress in 
fixing the problem.  Has anyone else?