[PATCH] C undefined behavior fix

[Florian Weimer]

mike stump <mrs@windriver.com> writes:

>    if (converting_to_type == interger_type_node
>        && TREE_CODE (converting_from_type) == POINTER_TYPE)
> 	  x = build_asm_stmt(NULL_TREE, "", ..., NULL_TREE)
>
> to add it.  Any one want to argue against putting it in?

This comes close to an inspection point, I guess.  Perhaps we should
create a built-in function for this instead?

However, I'm still working on a semi-formal description of the
semantics (we probably do not want to have a real inspection point in
all cases, which cannot be optimized away).