verifyModule accepts "alloca void ()"

[oscarfv]

Bugzilla Link	2113
Resolution	FIXED
Resolved on	Mar 01, 2008 03:02
Version	unspecified
OS	Windows XP
CC	@nlewycky,@oscarfv

Extended Description

verifyModule does not detect this mistake:

    alloca void ()          ; <void ()*>:1 [#uses=1]

(Note that the type alloca'ted is a function type, not a function pointer type)

It bombs later with an assert:

Assertion failed: Ty->isSized() && "Cannot getTypeInfo() on a type that is unsiz
ed!", file d:/dev/lib/llvm-2.1/lib/Target/TargetData.cpp, line 401

This was tested on 2.1 (from where the assert message was taken) and HEAD.

[lattner]

Fixed:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080225/059026.html