From 4c1165050677dbdc26d844fadf2b3b57da1266bf Mon Sep 17 00:00:00 2001 From: Nicola Pero Date: Tue, 28 Sep 2010 10:20:11 +0000 Subject: In gcc/objc/: 2010-09-28 Nicola Pero In gcc/objc/: 2010-09-28 Nicola Pero Merge from 'apple/trunk' branch on FSF servers. 2005-07-18 Ziemowit Laski Radar 4175534 * objc-act.c (objc_compare_types): A new silent comparison mode (-4), differing from regular comparison (-3) in that 'false' is returned instead of issuing warnings. In gcc/testsuite/: 2010-09-28 Nicola Pero Merge from 'apple/trunk' branch on FSF servers. 2005-07-18 Ziemowit Laski Radar 4175534 * obj-c++.dg/method-22.mm: New. From-SVN: r164681 --- gcc/objc/ChangeLog | 11 +++++++++++ gcc/objc/objc-act.c | 17 +++++++++++++---- 2 files changed, 24 insertions(+), 4 deletions(-) (limited to 'gcc/objc') diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog index e274a86..b174bcf 100644 --- a/gcc/objc/ChangeLog +++ b/gcc/objc/ChangeLog @@ -1,5 +1,16 @@ 2010-09-28 Nicola Pero + Merge from 'apple/trunk' branch on FSF servers. + + 2005-07-18 Ziemowit Laski + + Radar 4175534 + * objc-act.c (objc_compare_types): A new silent comparison + mode (-4), differing from regular comparison (-3) in that + 'false' is returned instead of issuing warnings. + +2010-09-28 Nicola Pero + * objc-act.c (encode_type): Do not add 'r' with the next runtime. (encode_aggregate_within): Reorganized code to be more readable. (encode_aggregate_fields): Updated second argument to be 'bool' diff --git a/gcc/objc/objc-act.c b/gcc/objc/objc-act.c index 39f0b5c..ecf3782 100644 --- a/gcc/objc/objc-act.c +++ b/gcc/objc/objc-act.c @@ -1143,7 +1143,9 @@ objc_common_type (tree type1, tree type2) 0 Return value; -1 Assignment; -2 Initialization; - -3 Comparison (LTYP and RTYP may match in either direction). */ + -3 Comparison (LTYP and RTYP may match in either direction); + -4 Silent comparison (for C++ overload resolution). + */ bool objc_compare_types (tree ltyp, tree rtyp, int argno, tree callee) @@ -1198,8 +1200,9 @@ objc_compare_types (tree ltyp, tree rtyp, int argno, tree callee) && !TYPE_HAS_OBJC_INFO (rtyp)) return false; - /* Past this point, we are committed to returning 'true' to the caller. - However, we can still warn about type and/or protocol mismatches. */ + /* Past this point, we are committed to returning 'true' to the caller + (unless performing a silent comparison; see below). However, we can + still warn about type and/or protocol mismatches. */ if (TYPE_HAS_OBJC_INFO (ltyp)) { @@ -1253,7 +1256,7 @@ objc_compare_types (tree ltyp, tree rtyp, int argno, tree callee) if (!pointers_compatible) pointers_compatible = DERIVED_FROM_P (ltyp, rtyp); - if (!pointers_compatible && argno == -3) + if (!pointers_compatible && argno <= -3) pointers_compatible = DERIVED_FROM_P (rtyp, ltyp); } @@ -1271,11 +1274,17 @@ objc_compare_types (tree ltyp, tree rtyp, int argno, tree callee) if (!pointers_compatible) { + /* The two pointers are not exactly compatible. Issue a warning, unless + we are performing a silent comparison, in which case return 'false' + instead. */ /* NB: For the time being, we shall make our warnings look like their C counterparts. In the future, we may wish to make them more ObjC-specific. */ switch (argno) { + case -4: + return false; + case -3: warning (0, "comparison of distinct Objective-C types lacks a cast"); break; -- cgit v1.1