[LLVMdev] Is this a bug in clang?

[David Vandevoorde]

On Apr 20, 2011, at 3:00 PM, John Regehr wrote:

>> No, Johannes is right: "undefined behavior" requires evaluation.
> 
> Undefined behavior does not require evaluation.  For example, undefined 
> behavior occurs when "A nonempty source file does not end in a new-line 
> character which is not immediately preceded by a backslash character or 
> ends in a partial preprocessing token or comment."

I was commenting on the specific examples under discussion.

However, in a broad sense, you could think of translation phase #1 as "evaluating" whether the end of a source file has been reached.

	Daveed