It appears that the new typecheck code has problems with printf (and possibly with all varargs functions). Sometimes the arguments of such functions can have inconsistent types.
The following shader shows the problem:
The output compiled shader contains the following code section:
Clearly the mulpp instruction is errornous - it should in fact be mulfp. Running such a shader results in an assert or segfault.