mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-11 02:05:39 +02:00
Code Issues Wiki Activity

Array to pointer conversion for typedefs, bug 239931.

Browse source
This commit is contained in:
Markus Schorn 2008-07-08 11:41:23 +00:00
parent 87a573a38e
commit 7f6536f4e0
2 changed files with 21 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2CPPTests.java
View file

@ -5921,4 +5921,21 @@ public class AST2CPPTests extends AST2BaseTest {
public void testTypeid_Bug209578() throws Exception { public void testTypeid_Bug209578() throws Exception {
parseAndCheckBindings(getAboveComment(), ParserLanguage.CPP); parseAndCheckBindings(getAboveComment(), ParserLanguage.CPP);
} }
// typedef char* t1;
// typedef char t2[8];
// void test(char * x) {}
// int main(void) {
// char x[12];
// t1 y;
// t2 z;
// test(x);
// test(y);
// test(z);
// }
public void testArrayToPtrConversionForTypedefs_Bug239931() throws Exception {
parseAndCheckBindings(getAboveComment(), ParserLanguage.CPP);
}
} }

6
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/Conversions.java
View file

@ -68,15 +68,17 @@ public class Conversions {
Cost cost; Cost cost;
allowUDC &= !isImpliedObject; allowUDC &= !isImpliedObject;
target= getUltimateTypeViaTypedefs(target);
source= getUltimateTypeViaTypedefs(source);
if (target instanceof ICPPReferenceType) { if (target instanceof ICPPReferenceType) {
// [13.3.3.3.1] Reference binding // [13.3.3.3.1] Reference binding
IType cv1T1= ((ICPPReferenceType)target).getType(); IType cv1T1= getUltimateTypeViaTypedefs(((ICPPReferenceType)target).getType());
cost= new Cost(source, cv1T1); cost= new Cost(source, cv1T1);
cost.targetHadReference= true; cost.targetHadReference= true;
boolean lvalue= sourceExp == null || !CPPVisitor.isRValue(sourceExp); boolean lvalue= sourceExp == null || !CPPVisitor.isRValue(sourceExp);
IType T2= source instanceof IQualifierType ? ((IQualifierType)source).getType() : source; IType T2= source instanceof IQualifierType ? getUltimateTypeViaTypedefs(((IQualifierType)source).getType()) : source;
if (lvalue && isReferenceCompatible(cv1T1, source)) { if (lvalue && isReferenceCompatible(cv1T1, source)) {
/* Direct reference binding */ /* Direct reference binding */