summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
* Place constructors and destructors into the DeclContext of the class,Douglas Gregor2008-12-155-185/+160
| | | | | | | | | | | | just like all other members, and remove the special variables in CXXRecordDecl to store them. This eliminates a lot of special-case code for constructors and destructors, including ActOnConstructor/ActOnDeclarator and special lookup rules in LookupDecl. The result is far more uniform and manageable. Diagnose the redeclaration of member functions. llvm-svn: 61048
* Code gen. for ivar references; including bitfieldFariborz Jahanian2008-12-158-72/+64
| | | | | | ivars. llvm-svn: 61043
* Preprocessor: Allocate MacroInfo objects using a BumpPtrAllocator instead ↵Ted Kremenek2008-12-153-11/+23
| | | | | | using new/delete. This speeds up -Eonly on Cocoa.h using the regular lexer by 1.8% and the PTHLexer by 3%. llvm-svn: 61042
* Fix regression in handling sizeof(void) in the static analyzer.Ted Kremenek2008-12-151-13/+15
| | | | llvm-svn: 61039
* Removed setRecordForDecl. Added a FIXME.Fariborz Jahanian2008-12-152-1/+3
| | | | llvm-svn: 61038
* Don't double-destroy constructors defined out-of-line. This is aDouglas Gregor2008-12-152-9/+12
| | | | | | | half-solution; the real solution is coming when constructors and destructors are treated like all other functions by ActOnDeclarator. llvm-svn: 61037
* Create new EnumDecl nodes for redeclarations of enums, linking themDouglas Gregor2008-12-154-221/+82
| | | | | | | | | | together in the same way that we link RecordDecl/CXXRecordDecl nodes. Unify ActOnTag and ActOnTagStruct. Fixes PR clang/2753. llvm-svn: 61034
* dont call iterator::end() on every cycle and dont read already-deleted memoryNuno Lopes2008-12-141-3/+4
| | | | llvm-svn: 61015
* minor WS fix for the previous commitNuno Lopes2008-12-141-3/+2
| | | | llvm-svn: 61008
* fix leakage of CXXSpecialName objects in DeclarationNameTableNuno Lopes2008-12-141-1/+10
| | | | llvm-svn: 61007
* I think we should getRValueType here. The lvaluetype of an array region is ↵Zhongxing Xu2008-12-141-1/+1
| | | | | | 'pointer to array'. llvm-svn: 61003
* Store the size of the EH stack inside each BreakContinue struct so we know ↵Anders Carlsson2008-12-133-10/+16
| | | | | | when a break/continue won't cross a try block. llvm-svn: 60998
* Patch for ObjCIvarRefExpr containing the fieldFariborz Jahanian2008-12-134-6/+25
| | | | | | matching the storage layout for this ivar llvm-svn: 60996
* MemRegion:Ted Kremenek2008-12-136-85/+107
| | | | | | | | | | | | | | | | | | | | | | - Overhauled the notion of "types" for TypedRegions. We now distinguish between the "lvalue" of a region (via getLValueRegion()) and the "rvalue" of a region (va getRValueRegion()). Since a region represents a chunk of memory it has both, but we were conflating these concepts in some cases, leading to some insidious bugs. - Removed AnonPointeeType, partially because it is unused and because it doesn't have a clear notion of lvalue vs rvalue type. We can add it back once there is a need for it and we can resolve its role with these concepts. StoreManager: - Overhauled StoreManager::CastRegion. It expects an *lvalue* type for a region. This is actually what motivated the overhaul to the MemRegion type mechanism. It also no longer returns an SVal; we can just return a MemRegion*. - BasicStoreManager::CastRegion now overlays an "AnonTypedRegion" for pointer-pointer casts. This matches with the MemRegion changes. - Similar changes to RegionStore, except I've added a bunch of FIXMEs where it wasn't 100% clear where we should use TypedRegion::getRValueRegion() or TypedRegion::getLValueRegion(). AuditCFNumberCreate check: - Now blasts through AnonTypedRegions that may layer the original memory region, thus checking if the actually memory block is of the appropriate type. This change was needed to work with the changes to StoreManager::CastRegion. GRExprEngine::VisitCast: - Conform to the new interface of StoreManager::CastRegion. Tests: - None of the analysis tests fail now for using the "basic store". - Disabled the tests 'array-struct.c' and 'rdar-6442306-1.m' pending further testing and bug fixing. llvm-svn: 60995
* Add storage layout to ObjC classes.Fariborz Jahanian2008-12-133-1/+37
| | | | llvm-svn: 60993
* eliminate the isCXXNamedOperator function and some string compares andChris Lattner2008-12-131-8/+2
| | | | | | use identifierinfo instead. Patch by Chris Goller! llvm-svn: 60992
* A series of cleanups/fixes motivated by <rdar://problem/6442306>:Ted Kremenek2008-12-134-22/+37
| | | | | | | | | | | | | | | | | | GRExprEngine (VisitCast): - When using StoreManager::CastRegion, always use the state and value it returns to generate the next node. Failure to do so means that region values returned that don't require the state to be modified will get ignored. MemRegion: - Tighten the interface for ElementRegion. Now ElementRegion can only be created with a super region that is a 'TypedRegion' instead of any MemRegion. Code in BasicStoreManager/RegionStoreManager already assumed this, but it would result in a dynamic assertion check (and crash) rather than just having the compiler forbid the construction of such regions. - Added ElementRegion::getArrayRegion() to return the 'typed version' of an ElementRegion's super region. - Removed bogus assertion in ElementRegion::getType() that assumed that the super region was an AnonTypedRegion. All that matters is that it is a TypedRegion, which is now true all the time by design. BasicStore: - Modified getLValueElement() to check if the 'array' region is a TypedRegion before creating an ElementRegion. This conforms to the updated interface for ElementRegion. RegionStore: - In ArrayToPointer() gracefully handle things we don't reason about, and only create an ElementRegion if the array region is indeed a TypedRegion. llvm-svn: 60990
* disable Anders' recent VLA patch, this fixes PR3209.Chris Lattner2008-12-132-2/+11
| | | | llvm-svn: 60989
* Some utilities for using the smart pointers in Actions, especially Sema. ↵Sebastian Redl2008-12-138-19/+25
| | | | | | Convert a few functions. llvm-svn: 60983
* Convert remaining expression parsers to smart pointers. Now on to the Action ↵Sebastian Redl2008-12-133-105/+105
| | | | | | connection. llvm-svn: 60982
* PTH: Added minor 'sibling jumping' optimization for iterating over the side ↵Ted Kremenek2008-12-121-9/+37
| | | | | | table used for fast preprocessor block skipping. This has a minor performance improvement when preprocessing Cocoa.h, but can have some wins in pathologic cases. llvm-svn: 60966
* fix a buggy fall through that caused a crash-on-invalid. rdar://6248081Chris Lattner2008-12-121-5/+5
| | | | llvm-svn: 60961
* Added PTH optimization to not process entire blocks of tokens that appear in ↵Ted Kremenek2008-12-122-13/+176
| | | | | | skipped preprocessor blocks. This improves PTH speed by 6%. The code for this optimization itself is not very optimized, and will get cleaned up. llvm-svn: 60956
* Implement the final (hopefully) wrinkle to i-c-e + builtin_constant_p Chris Lattner2008-12-121-7/+11
| | | | | | | processing: it allows arbitrary foldable constants as the operand of ?: when builtin_constant_p is the condition. llvm-svn: 60954
* Enable out-of-line definitions of C++ constructors and destructorsDouglas Gregor2008-12-122-15/+51
| | | | llvm-svn: 60947
* Implement allocation and sizeof VLAs. This is very basic for now.Anders Carlsson2008-12-122-6/+38
| | | | llvm-svn: 60943
* rdar://6060752 - don't warn about trigraphs in bcpl-style commentsChris Lattner2008-12-121-1/+6
| | | | llvm-svn: 60942
* Add map of VLA types and their sizesAnders Carlsson2008-12-122-0/+36
| | | | llvm-svn: 60939
* fix thought-oChris Lattner2008-12-121-1/+1
| | | | llvm-svn: 60937
* add a fixme.Chris Lattner2008-12-121-0/+4
| | | | llvm-svn: 60935
* implement rdar://6091492 - ?: with __builtin_constant_p as the operand is an ↵Chris Lattner2008-12-121-1/+10
| | | | | | i-c-e. llvm-svn: 60934
* use smarter error recovery for do/while.Chris Lattner2008-12-121-4/+7
| | | | llvm-svn: 60933
* apply the new error recovery smarts we have for if's to while's and switch's.Chris Lattner2008-12-121-42/+49
| | | | llvm-svn: 60932
* merge recovery-2.c into recovery-3.c.Chris Lattner2008-12-121-9/+22
| | | | | | | | | | Substantially improve error recovery after broken if conditions by parsing the full if when we have a semantic error instead of using parser recovery techniques to recover from a semantic error. This fixes rdar://6094870 - spurious error after invalid 'if' condition llvm-svn: 60929
* minor refactoring of ParseParenExpressionChris Lattner2008-12-121-13/+16
| | | | llvm-svn: 60928
* Work in preparation for VLAs. Make sure to restore the stack if necessary ↵Anders Carlsson2008-12-122-14/+34
| | | | | | (Saving the stack isn't implemented right now :) llvm-svn: 60925
* Fix rdar://6095061 - gcc allows __builtin_choose_expr as an lvalueChris Lattner2008-12-122-3/+15
| | | | llvm-svn: 60924
* add codegen support for __func__ and friends, producing the sameChris Lattner2008-12-121-0/+10
| | | | | | output that GCC does. rdar://6440297 llvm-svn: 60922
* fix rdar://6097892 - gcc incompat: clang rejects __func__, __FUNCTION__, and ↵Chris Lattner2008-12-121-6/+8
| | | | | | | | __PRETTY_FUNCTION__ outside func Yeah, this is "useful". llvm-svn: 60921
* Implement rdar://6138816 - [sema] named bitfields cannot have 0 widthChris Lattner2008-12-121-11/+10
| | | | llvm-svn: 60920
* In C++, set the type of each of the enumerators in an enumeration toDouglas Gregor2008-12-122-4/+24
| | | | | | | | | | | | | | | the type of the enumeration once the enumeration has been defined. Fix the overloading test-case to properly create enums that promote the way we want them to. Implement C++0x promotions from enumeration types to long long/unsigned long long. We're using these promotions in Carbon.h (since long long is a common extension). Fixes PR clang/2954: http://llvm.org/bugs/show_bug.cgi?id=2954 llvm-svn: 60917
* PTH:Ted Kremenek2008-12-111-12/+18
| | | | | | | - Added a side-table per each token-cached file with the preprocessor conditional stack. This tracks what #if's are matched with what #endifs and where their respective tokens are in the PTH file. This will allow for quick skipping of excluded conditional branches in the Preprocessor. - Performance testing shows the addition of this information (without actually utilizing it) leads to no performance regressions. llvm-svn: 60911
* Convert a big bunch of expression parsers to use smart pointers.Sebastian Redl2008-12-116-92/+93
| | | | llvm-svn: 60906
* PTHLexer: Keep track of the location of the last '#' token and provide the ↵Ted Kremenek2008-12-111-6/+9
| | | | | | means to jump ahead in the token stream. llvm-svn: 60905
* Convert some more expression parsers to use smart pointers.Sebastian Redl2008-12-114-82/+81
| | | | llvm-svn: 60904
* Convert selected expression parsers to use smart pointers.Sebastian Redl2008-12-116-120/+122
| | | | llvm-svn: 60900
* Address some comments on the name lookup/DeclContext patch from ChrisDouglas Gregor2008-12-119-65/+63
| | | | llvm-svn: 60897
* Remove unused ivar CurTokenIdx.Ted Kremenek2008-12-111-1/+1
| | | | llvm-svn: 60896
* Convert the remaining statement parsers to smart pointers.Sebastian Redl2008-12-112-25/+26
| | | | llvm-svn: 60895
* Convert some more statement parsers to smart pointers.Sebastian Redl2008-12-111-76/+79
| | | | llvm-svn: 60892
OpenPOWER on IntegriCloud