replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Bug #: 

Submitted by:
Reviewed by:
Removed a couple superflous checks from typesAreCompatible. Moved the
spec references up to a comment.

llvm-svn: 39441
This commit is contained in:
Steve Naroff 2007-05-12 15:17:11 +00:00
parent 3f59729549
commit 29d386c8c6
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
clang/AST/Type.cpp
View File

@ -155,6 +155,10 @@ bool Type::arrayTypesAreCompatible(QualType lhs, QualType rhs) {
return true;
}
/// typesAreCompatible - C99 6.7.3p9: For two qualified types to be compatible,
/// both shall have the identically qualified version of a compatible type.
/// C99 6.2.7p1: Two types have compatible types if their types are the
/// same. See 6.7.[2,3,5] for additional rules.
bool Type::typesAreCompatible(QualType lhs, QualType rhs) {
QualType lcanon = lhs.getCanonicalType();
QualType rcanon = rhs.getCanonicalType();
@ -178,15 +182,6 @@ bool Type::typesAreCompatible(QualType lhs, QualType rhs) {
case Type::Tagged: // handle structures, unions
return tagTypesAreCompatible(lcanon, rcanon);
case Type::Builtin:
// C99 6.7.3p9: For two qualified types to be compatible, both shall
// have the identically qualified version of a compatible type.
if (lhs.getQualifiers() != rhs.getQualifiers())
return false;
// C99 6.2.7p1: Two types have compatible types if their types are the
// same. See 6.7.[2,3,5] for additional rules.
if (lcanon.getTypePtr() == rcanon.getTypePtr())
return true;
return false;
default:
assert(0 && "unexpected type");