summaryrefslogtreecommitdiffstats
path: root/clang/AST/ASTContext.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix the following redefinition errors submitted by Keith Bauer...Steve Naroff2007-08-301-21/+37
| | | | | | | | | | | | | | | | | | | | | | | | [dylan:~/llvm/tools/clang] admin% cat tentative_decls.c // incorrectly generates redefinition error extern int array[3]; int array[3]; // incorrectly generates a redefinition error extern void nup(int a[3]); void nup(int a[3]) {} It turns out that this exposed a fairly major flaw in the type system, array types were never getting uniqued! This is because all array types contained an expression, which aren't unique. To solve this, we now have 2 array types, ConstantArrayType and VariableArrayType. ConstantArrayType's are unique, VAT's aren't. This is a fairly extensive set of fundamental changes. Fortunately, all the tests pass. Nevertheless, there may be some collateral damage:-) If so, let me know! llvm-svn: 41592
* Change EnumDecl to store its corresponding integer type Chris Lattner2007-08-281-18/+1
| | | | | | | directly in it. Remove TargetInfo::getEnumPolicy, as there is only one policy that we support right now. llvm-svn: 41548
* constify some stuffChris Lattner2007-08-271-2/+2
| | | | llvm-svn: 41503
* implement sizeof(enum x), patch inspired by Keith Bauer.Chris Lattner2007-08-271-7/+26
| | | | llvm-svn: 41500
* Replaced ASTContext::maxFloatingType() with ASTContext::compareFloatingType().Steve Naroff2007-08-271-3/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Changed Sema::UsualArithmeticConversions to use the new API. This fixes the following case... _Complex double X; double y; void foo() { X = X + y; } [dylan:~/llvm/tools/clang] admin% ../../Debug/bin/clang complex.c -parse-ast-dump Read top-level variable decl: 'X' Read top-level variable decl: 'y' void foo() (CompoundStmt 0x2605cc0 (BinaryOperator 0x2605ca0 '_Complex double' '=' (DeclRefExpr 0x2605c10 '_Complex double' Decl='X' 0x2605ab0) (BinaryOperator 0x2605c80 '_Complex double' '+' (DeclRefExpr 0x2605c30 '_Complex double' Decl='X' 0x2605ab0) (ImplicitCastExpr 0x2605c70 '_Complex double' (DeclRefExpr 0x2605c50 'double' Decl='y' 0x2605ae0))))) llvm-svn: 41483
* Tweak a comment and assert.Steve Naroff2007-08-271-5/+6
| | | | llvm-svn: 41475
* Replaced ASTContext::maxComplexType() with ↵Steve Naroff2007-08-271-21/+21
| | | | | | | | | ASTContext::getFloatingTypeOfSizeWithinDomain(). Changed Sema::UsualArithmeticConversions to correctly implement complex/float conversions, using maxFloatingType() with getFloatingTypeOfSizeWithinDomain(). llvm-svn: 41474
* Add initial support for constant CFStrings.Anders Carlsson2007-08-171-0/+29
| | | | llvm-svn: 41136
* Add comments to getTypeOfExpr/getTypeOfType.Steve Naroff2007-08-011-4/+16
| | | | | | Also add instances of TypeOfExpr/TypeOfType to the Types vector (so we can keep track of them). llvm-svn: 40677
* Two typeof() related changes...Steve Naroff2007-08-011-1/+1
| | | | | | | | | | | | | | | | - Changed the name of ASTContext::getTypeOfType(Expr*)->getTypeOfExpr(). - Remove FIXME for TypeOfExpr::getAsStringInternal(). This will work fine for printing the AST. It isn't ideal for error diagnostics (since it's more natural to display the expressions type). One "random" (or at least delayed:-) change... - Changed all "ext_typecheck_*" diagnostics from EXTENSION->WARNING. Reason: Since -pedantic is now off (by default), these diagnostics were never being emitted (which is bad). With this change, clang will emit the warning all the time. The only downside (wrt GCC compatibility) is -pedantic-errors will not turn this diagnostics into errors (a "feature" of making tagging them with EXTENSION). When/if this becomes an issue, we can revisit. llvm-svn: 40676
* Add parsing and AST support for GNU "typeof".Steve Naroff2007-07-311-0/+12
| | | | | | | Many small changes to lot's of files. Still some FIXME's, however the basic support is in place. llvm-svn: 40631
* fix bogus warnings about potentially uninit vars Size and Align.Chris Lattner2007-07-231-8/+8
| | | | | | Patch by Neil Booth! llvm-svn: 40452
* Fix a valgrind error noticed by Benoit BoissinotChris Lattner2007-07-201-1/+1
| | | | llvm-svn: 40113
* fix a nasty bug Owen noticed in a gcc warning.Chris Lattner2007-07-201-4/+4
| | | | llvm-svn: 40110
* implement size/alignment analysis for arrays and vectors. This gets ↵Chris Lattner2007-07-191-4/+22
| | | | | | carbon.h working again. llvm-svn: 40068
* implement sizeof/alignof support for structs, unions and complex.Chris Lattner2007-07-181-6/+28
| | | | | | | | | | | | | | | | | | This allows us to compile this: struct abc { char A; double D; }; int foo() { return sizeof(struct abc); return __alignof__(struct abc); } Into: ret i32 16 ret i32 8 llvm-svn: 40010
* First round of extended vector support. Here is an overview...Steve Naroff2007-07-181-8/+37
| | | | | | | | | | | - added ocu_vector_type attribute, Sema::HandleOCUVectorTypeAttribute(). - added new AST node, OCUVectorType, a subclass of VectorType. - added ASTContext::getOCUVectorType. - changed ASTContext::convertToVectorType() to ASTContext::getVectorType(). This is unrelated to extended vectors, however I was in the vicinity and it was on my todo list. Added a FIXME to Sema::HandleVectorTypeAttribute to deal with converting complex types. llvm-svn: 40007
* initial layout support for structures and unions. This isn't actuallyChris Lattner2007-07-181-0/+70
| | | | | | hooked up to anything, so it's not very useful yet. llvm-svn: 40006
* teach -stats about new typesChris Lattner2007-07-181-0/+8
| | | | llvm-svn: 39996
* don't let builtin-type handling code fall into pointer handling codeChris Lattner2007-07-151-0/+1
| | | | | | not all builtin types have size and alignment equal to pointers :) llvm-svn: 39887
* A significant refactoring of the type size stuff to also Chris Lattner2007-07-141-43/+19
| | | | | | compute type alignment. This info is needed for struct layout. llvm-svn: 39850
* Use target info to decide the sizes of basic types.Chris Lattner2007-07-131-29/+30
| | | | llvm-svn: 39838
* Add missing citation.Chris Lattner2007-07-131-1/+2
| | | | llvm-svn: 39837
* Move getSize() out of type, into ASTContext, where it has target info, andChris Lattner2007-07-131-0/+53
| | | | | | where ASTContext can manage caches for struct layout, etc. llvm-svn: 39835
* Implement codegen for + and - with pointers. Patch contributed by Chris Lattner2007-07-131-0/+8
| | | | | | Keith Bauer. llvm-svn: 39793
* Bug #:Steve Naroff2007-07-061-0/+33
| | | | | | | | | | | | | | | | | | Submitted by: Reviewed by: - Finished semantic analysis for vectors, added some diagnostics. - Added AST for vectors (instantiation, installation into the decl). - Fixed bug in ParseArraySubscriptExpr()...this crasher was introduced by me when we added the range support. - Turned pedantic off by default. Since vectors are gcc extensions, having pedantic on by default was annoying. Turning it off by default is also consistent with gcc (but this wasn't my primary motivation). - Tweaked some comments and diagnostics. Note: The type checking code is still under construction (for vectors). This will be my next check-in. llvm-svn: 39715
* Split complex types out from being members of BuiltinType to being their ownChris Lattner2007-06-221-24/+46
| | | | | | types. llvm-svn: 39672
* Finally bite the bullet and make the major change: split the clang namespaceChris Lattner2007-06-151-8/+6
| | | | | | | | | | | | | out of the llvm namespace. This makes the clang namespace be a sibling of llvm instead of being a child. The good thing about this is that it makes many things unambiguous. The bad things is that many things in the llvm namespace (notably data structures like smallvector) now require an llvm:: qualifier. IMO, libsystem and libsupport should be split out of llvm into their own namespace in the future, which will fix this issue. llvm-svn: 39659
* Type::isSignedInteger() and isUnsignedInteger() did not properly account forChris Lattner2007-06-031-3/+10
| | | | | | | | | | 'char', which varies based on the target. Instead of spreading target knowledge throughout the compiler, bifurcate char into Char_S and Char_U, and have ASTContext create the right one based on the target, when it starts up. llvm-svn: 39577
* Bug #:Bill Wendling2007-05-271-1/+33
| | | | | | | | | | | Submitted by: Bill Wendling Reviewed by: Chris Lattner - Initial support for C++ references. Adding to the AST and Parser. Skeletal support added in the semantic analysis portion. Full semantic analysis is to be done soon. llvm-svn: 39496
* Implement a fixmeChris Lattner2007-05-241-1/+0
| | | | llvm-svn: 39488
* silence a bunch of warnings, fix some funky indentation.Chris Lattner2007-05-241-3/+4
| | | | llvm-svn: 39487
* Bug #:Steve Naroff2007-05-231-0/+4
| | | | | | | | | | | Submitted by: Reviewed by: Added "global" statistics gathering for Decls/Stmts/Exprs. Very useful for working with a single file. When we start compiling multiple files, will need to enhance this to collect stats on a per-module basis. llvm-svn: 39485
* add ASTContext::getIntegerBitwidth method.Chris Lattner2007-05-201-28/+56
| | | | llvm-svn: 39472
* Bug #:Steve Naroff2007-04-271-4/+3
| | | | | | | | Submitted by: Reviewed by: Minor change to assert logic. llvm-svn: 39422
* Bug #:Steve Naroff2007-04-271-57/+57
| | | | | | | | | | | | | | | Submitted by: Reviewed by: - Disabled -pedantic for now (until it ignores system headers). - Removed convertSignedWithGreaterRankThanUnsigned() and convertFloatingRankToComplexType(). The logic is now inlined in maxIntegerType and maxComplexType(). - Removed getIntegerRank/getFloatingRank from the private interface. These are now really private helpers:-) - Declare maxIntegerType/maxFloatingType static. maxComplexType const. - Added an enum for the floating ranks. - Several fixed to getIntegerRank: add Bool, Char, and a clause for enums. llvm-svn: 39421
* Bug #:Steve Naroff2007-04-271-0/+113
| | | | | | | | | | | | | | | | Submitted by: Reviewed by: More typechecking, refactoring... - Implemented the following routines...CheckAdditiveOperands, CheckCommaOperands, CheckLogicalOperands. - Added maxComplexType, maxFloatingType, & maxIntegerType to ASTContext. Ranking helper functions moved to ASTContext as well (they are private:-) - Simplified UsualArithmeticConversions using the new ASTContext hooks. - Fixed isAssignmentOp()...is was preventing comma exprs from ever being created:-( - Changed a GCC compat extension to truly be an extension (and turned extensions on by default). This now produces a warning by default. llvm-svn: 39418
* Bug #:Steve Naroff2007-04-051-32/+32
| | | | | | | | | | | | Submitted by: Reviewed by: -Changed the name of TypeRef to QualType. Many diffs. -Changed the QualType constructor to require Quals be passed. This makes the code a bit more verbose, however will make the code easier to work on. Given the complexity of types, this should help spot bogosities. -Changed the Expr constructor to require a QualType. Same motivation. llvm-svn: 39395
* Bug #:Steve Naroff2007-04-051-10/+8
| | | | | | | | | | | | | | | | | | | | | | Submitted by: Reviewed by: Fix "FIXME: does this lose qualifiers from the typedef??" in ASTContext::getTypedefType(). This change was fairly pervasive...nevertheless, here are the highlights: - Change the type of Type::CanonicalType to TypeRef (was "Type *"). - Change the implementation of TypeRef::getCanonicalType() to work for typedefs. - Make the implementation of Type::getCanonicalType private (only TypeRef should access). This will force clients to use TypeRef::getCanonicalType (the correct version of the function). Since TypeRef overloads "->", it was very easy to fall into this bug... - Changed many references of "Type *" to "TypeRef"...when the raw type pointer is required, use t.getTypePtr(). - Changed all the *Type classes to take a TypeRef. - Made the Type constructor protected (cleanup). - Removed function Expr::getType(). - Convert functions in SemaExpr to use the above support. This fixed the "const" bug I was originally investigating. I will follow this check-in up with a rename of TypeRef->QualType. I will also make sure the constructor does not default to 0 (which can lead to broken code...). llvm-svn: 39394
* Bug #:Steve Naroff2007-04-021-2/+2
| | | | | | | | Submitted by: Reviewed by: declare getSizeType() const and fix typo in comment... llvm-svn: 39376
* Bug #:Steve Naroff2007-04-021-0/+8
| | | | | | | | | | | | | | | | Submitted by: Reviewed by: Incorporate code review feedback from Chris... - minor restructure of ParseMemberReferenceExpr logic. The last statement is now the instantiation of the AST node (which I like a lot and will conform to throughout Sema). - declare StmtClassNameTable const. - reword an error diagnostic. - install the correct type for ParseSizeOfAlignOfTypeExpr. Added hook in ASTContext. For now, simply return Context.UnsignedLongTy. Added a FIXME to revisit (i.e. compute using TargetInfo). llvm-svn: 39374
* Unnest assignment to make the code more clearChris Lattner2007-03-261-4/+6
| | | | llvm-svn: 39363
* Bug #:Steve Naroff2007-03-231-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | Submitted by: Reviewed by: Type Checking...round 2. This checkin "breaks" parsing carbon.h. I imagine that this will be true for the next week or so. Nevertheless, this round of changes includes the following: - Hacked various Expr classes to pass the appropriate TypeRef. Still have a few more classes to touch. - Implement type checking for ParseArraySubscriptExpr and ParseMemberReferenceExpr. - Added a debug hook to derive the class name for Stmt/Expr nodes. Currently a linear search...could easily optimize if important. - Changed the name of TaggedType->TagType. Now we have TagType and TagDecl (which are easier to remember). - Fixed a bug in StringLiteral conversion I did a couple weeks ago. hadError was not initialized (oops). - changed Sema::Diag to return true. This streamlines the type checking code considerably. - Added many diagnositics. This should be it! llvm-svn: 39361
* Bug #:Steve Naroff2007-03-161-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | Submitted by: Reviewed by: carbon.h looking good! Only 1 warning left...no parse errors! This fixes 3 bugs... - A couple tricky bugs with type canonicalization. Nested typedef's weren't being handled properly. For example, the following didn't work: typdef int __darwin_pid_t; typedef __darwin_pid_t pid_t; int getpgid(pid_t); int getpgid(int); - The storage class wasn't being preserved. As a result, Sema was complaining about the following: extern char *foo; char *foo; - various built-ins weren't registered...resulting in spurious warnings. llvm-svn: 39357
* Bug #:Steve Naroff2007-03-141-4/+2
| | | | | | | | | | | | | | | Submitted by: Reviewed by: Added size expression to ArrayType. This was needed to implement Type::isIncompleteType(). At the moment, there is no support for determining if we have a constant expression (which won't be too difficult now that we have support for literal parsing/ast's). Nevertheless, the parser will allow "struct foo { int a[b]; }" (which is illegal). There is still significant work to fully analyze array types. The good news is "carbon.h" goes from 288 bogus errors down to 26! llvm-svn: 39355
* Make Sema's use of the preprocessor explicit (rather than assumeSteve Naroff2007-02-281-6/+0
| | | | | | | | | | | | | | | | the prerocessor will be available via ASTContext). - Removed the public data member "PP" in ASTContext. - Changed ASTContext's contructor to take TargetInfo/IdentifierTable explicitly. - Implicitly create an ASTContext in Sema's constructor. This simplifies the clients job (and makes ASTContext more private). --As a side effect, added a "PrintStats" hook to Sema. To support this level of encapsulation, ASTContext is always dynamically allocated (by Sema). Previously, ASTContext was being allocated on the stack. I don't believe this should be a performance issue (since ASTContext is fairly course grain and tied to the lifetime of Sema currently). llvm-svn: 39345
* Added isa<> support for Statements and Expressions. This involved:Steve Naroff2007-02-261-2/+2
| | | | | | | | | - adding enum constants & instance data to Stmt. - adding classof() functions to all Stmt's. - modifying contructors to pass the appropriate enum as an arg. Also tightened up a couple "void *" declarations/casts for arrays. llvm-svn: 39343
* Add support for target-specific builtins, including detecting nonportabilityChris Lattner2007-01-291-2/+1
| | | | | | | | | | | | | | | | | of source code. For example: $ clang INPUTS/carbon_h.c -arch i386 -arch ppc prints: ... /usr/lib/gcc/i686-apple-darwin8/4.0.1/include/mmintrin.h:51:3: note: use of a target-specific builtin function, source is not 'portable' __builtin_ia32_emms (); ^ because carbon.h pulls in xmmintrin.h, and __builtin_ia32_emms isn't a builtin on ppc. Though clang now supports target-specific builtins, the full table isn't implemented yet. llvm-svn: 39328
* Add support for target-independent builtin functions (like __builtin_abs),Chris Lattner2007-01-281-0/+2
| | | | | | | | | | | | | | | | | | whose decl objects are lazily created the first time they are referenced. Builtin functions are described by the clang/AST/Builtins.def file, which makes it easy to add new ones. This is missing two important pieces: 1. Support for the rest of the gcc builtins. 2. Support for target-specific builtins (e.g. __builtin_ia32_emms). Just adding this builtins reduces the number of implicit function definitions by 6, reducing the # diagnostics from 550 to 544 when parsing carbon.h. I need to add all the i386-specific ones to eliminate several hundred more. ugh. llvm-svn: 39327
* Eliminate the last of the slow lookups, by making non-prototyped function typesChris Lattner2007-01-271-12/+19
| | | | | | | use the folding set. This eliminates 359 slow lookups from carbon.h (the rest) but doesn't substantially speed up parse. llvm-svn: 39320
OpenPOWER on IntegriCloud