> To: egcs@cygnus.com > Date: Mon, 10 Aug 1998 12:00:51 +0200 (CES) > From: Sebastian Ritterbusch <uabp@rz.uni-karlsruhe.de> > Is there any way to let the compiler check if the specifications are > correct? Nope, not yet. It would be a quality of implementation warning type thing. We could add one, just I fear it would have oddles of false positives.