Print

Print


At 02:12 PM 6/7/00 +0100, Phillip Helbig wrote:
>> There is no "right" answer -- the program appears not to be standard
>> conforming:
>
>Is this something a standard-conforming compiler must be able to
>catch? 

No.  In the general case, recognizing this problem requires interprocedural
analysis or (more likely) run-time checks.
		-Kurt
--
Kurt W. Hirchert                          [log in to unmask]
Center for Computational Sciences                +859-257-8748


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%