clang prints bogus type compatibility warning between constant and variable array types

[efriedma-quic]

Bugzilla Link	2021
Resolution	FIXED
Resolved on	Mar 12, 2010 00:59
Version	unspecified
OS	Linux

Extended Description

Testcase:
int a(int i) {
int (*pf)[2];
int (*pv)[i];
(i ? pf : pv);
}

This shouldn't warn because the pointed-to types are compatible. Easy fix to ASTContext, which I'll sort out in a bit.

[lattner]

ok, thanks Eli!

[efriedma-quic]

Okay, checked in. (I guess I didn't really need to open a bug, but I didn't want to lose track of it.)

[lattner]

From Neil:

It's best to tighten up the testcases and ensure they can only
complain about the thing being tested. For example this code
has good reason to complain twice:

c$ ~/src/cfe/cfe /tmp/bug.c
"/tmp/bug.c", line 4: warning: expression has no effect
(i ? pf : pv);
^
"/tmp/bug.c", line 5: warning: function "a" should return a value
}
^