summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Darwin x86_32: Improve bit-field handling for returning records.Daniel Dunbar2009-05-082-14/+11
| | | | | | | - This turns out to be a no-op now that most of the handling for everything else is in place. llvm-svn: 71261
* Darwin x86_32: Ignore arrays of empty structures inside records.Daniel Dunbar2009-05-082-3/+13
| | | | | | | - This eliminates 5/1000 failures on return-types-32, on the current ABITest config. llvm-svn: 71250
* Refactoring of my last patch.Fariborz Jahanian2009-05-083-27/+28
| | | | llvm-svn: 71248
* ABITest: Move default set of test args into common makefile.Daniel Dunbar2009-05-086-3/+55
| | | | | | Also, tweak default list of bit-fields to try. llvm-svn: 71246
* retain checker: Track the number of times a tracked object is sentTed Kremenek2009-05-081-15/+37
| | | | | | 'autorelease'. This isn't used yet to flag errors. llvm-svn: 71244
* More type checking for properties, accessors andFariborz Jahanian2009-05-084-10/+99
| | | | | | use of dot-syntax expression. This is to match gcc's. llvm-svn: 71243
* Provide dummy va_list typedef for msp430Anton Korobeynikov2009-05-081-1/+1
| | | | llvm-svn: 71233
* further improvements to gnu objc EH stuff, patch by David Chisnall!Chris Lattner2009-05-081-15/+15
| | | | llvm-svn: 71227
* "This patch fixes message sends to super in categories for the GNU runtime. ↵Chris Lattner2009-05-081-17/+31
| | | | | | | | This used to work, but I broke it when I modified the code to emit the same thing as GCC for message sends to super in classes." Patch by David Chisnall! llvm-svn: 71220
* Fix the atomics sema code to convert operands to the argument typesChris Lattner2009-05-083-10/+24
| | | | | | | | | of the underlying _N builtin, not the the type of the pointee of the actual type. This ensures that atomics involving pointers end up using the correct integer type when they are resolved, avoiding aborts in codegen. llvm-svn: 71218
* Remove experimental ownership attributes from Clang.Ted Kremenek2009-05-089-452/+0
| | | | llvm-svn: 71216
* Region store: when casting VarRegions, if the cast-to pointee type is Zhongxing Xu2009-05-082-1/+8
| | | | | | incomplete, do not compute its size and return the original region. llvm-svn: 71213
* reimplement __sync_* builtins to be variadic and to follow the sameChris Lattner2009-05-087-59/+444
| | | | | | | | | semantic rules that gcc and icc use. This implements the variadic and concrete versions as builtins and has sema do the disambiguation. There are probably a bunch of details to finish up but this seems like a large monotonic step forward :) llvm-svn: 71212
* Replace the heuristic isSmallerThan with ASTContext::getTypeSize().Zhongxing Xu2009-05-083-10/+6
| | | | llvm-svn: 71206
* Replace getTypeWidth() with ASTContext::getTypeSize().Zhongxing Xu2009-05-081-44/+5
| | | | llvm-svn: 71205
* Revert r71079.Zhongxing Xu2009-05-082-4/+2
| | | | llvm-svn: 71202
* Add various other bits I use to run ABITest.Daniel Dunbar2009-05-088-1/+252
| | | | llvm-svn: 71201
* Fix <rdar://problem/6845148>. Signed integers compared against pointers shouldTed Kremenek2009-05-082-3/+32
| | | | | | | | implicitly be changed to unsigned values in GRSimpleVals.cpp. This can happen when the comparison involves logic in specialized transfer functions (e.g., OSAtomicCompareAndSwap). llvm-svn: 71200
* initial support for ObjC exceptions with the GNU runtime:Chris Lattner2009-05-081-2/+229
| | | | | | | | | | | | | | "This patch is a first pass at adding support for exceptions for the GNU runtime. There are a few limitations at present: - @synchronized() is not yet supported at all. gcc currently emits calls to runtime library functions that don't exist for this directive. - Only id @catch statements are currently working. This is enough for NS_DURING and friends, but I need to spend more time reading the output from gcc -S to work out how it finds the class pointer to make arbitrary class type catch statements work. - I've tested it with a few common cases[1] and the clang test suite (which doesn't test exceptions for the GNU runtime, but shows I haven't broken anything else), but there are probably a lot of cases I've missed." Patch by David Chisnall! llvm-svn: 71198
* Fix crash with constant initialization of bit-fields in unions.Eli Friedman2009-05-072-1/+3
| | | | llvm-svn: 71194
* Minor code cleanup in retain/release checker in preparation for someTed Kremenek2009-05-071-22/+14
| | | | | | | other changes. Instead of repeatedly checking for GC mode when getting the return effect, just do this computation once. llvm-svn: 71193
* Add to the house of cards that is ABITestGen.Daniel Dunbar2009-05-072-46/+136
| | | | | | - Support generating structures with bit-fields. llvm-svn: 71192
* Add a warning for a missing copy attribute on a property that is aMike Stump2009-05-073-0/+17
| | | | | | block pointer. Radar 6441502 llvm-svn: 71190
* Remove -fobjc-tight-layout, seems to work!Daniel Dunbar2009-05-074-17/+5
| | | | llvm-svn: 71184
* Allow qualifiers on blocks. Radar 6441502Mike Stump2009-05-072-3/+7
| | | | llvm-svn: 71183
* More attribute renaming:Ted Kremenek2009-05-076-24/+88
| | | | | | | - Rename 'ns_returns_owned' -> 'ns_returns_retained'. - Rename 'cf_returns_owned' -> 'cf_returns_retained'. llvm-svn: 71182
* a forward class declaration matching a typedef name of a classFariborz Jahanian2009-05-072-0/+30
| | | | | | | refers to the underlying class. This is radar 6859726. Steve, please read the radar for my rational. llvm-svn: 71181
* add isFriendSpecified.Anders Carlsson2009-05-071-1/+2
| | | | llvm-svn: 71174
* Fix <rdar://problem/6848739>. When using -analyze, -Werror has no effect.Ted Kremenek2009-05-072-0/+18
| | | | llvm-svn: 71172
* Tighten up relationals with blocks and ints. Radar 6441502Mike Stump2009-05-072-19/+21
| | | | llvm-svn: 71171
* analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek2009-05-073-6/+36
| | | | | | | analysis introspection) when we computed an lvalue. This shouldn't effect the current analysis results in any way. llvm-svn: 71169
* Big update to the C++ status table to reflect "recent"Douglas Gregor2009-05-072-59/+303
| | | | | | development. Still much more to write! llvm-svn: 71167
* Fix a FIXME in new expression checking.Sebastian Redl2009-05-071-5/+4
| | | | llvm-svn: 71163
* Document the dependent type equivalence test case's purpose.Douglas Gregor2009-05-071-0/+7
| | | | llvm-svn: 71162
* Test a few more variants of dependent type namesDouglas Gregor2009-05-071-0/+29
| | | | llvm-svn: 71161
* Compute the canonical template name when building a templateDouglas Gregor2009-05-072-10/+8
| | | | | | specialization type for a dependent template name. llvm-svn: 71153
* Start canonicalizing template names. This is not yet complete, but itDouglas Gregor2009-05-074-2/+73
| | | | | | improves type identity with dependent types. llvm-svn: 71152
* Add support for LLLi -> int128 in builtins.defChris Lattner2009-05-071-21/+22
| | | | llvm-svn: 71148
* Make this test portable to non-x86 hosts, patch by Mark Cianciosa!Chris Lattner2009-05-071-3/+3
| | | | llvm-svn: 71146
* Improve semantic checking for blocks. Radar 6441502Mike Stump2009-05-074-100/+138
| | | | llvm-svn: 71145
* Add preliminary support for enhancing null-pointer dereference diagnostics.Ted Kremenek2009-05-073-62/+224
| | | | llvm-svn: 71135
* Bug fix: Not all ConstraintManagers always return a null state when settingTed Kremenek2009-05-071-3/+9
| | | | | | isFeasible to false. This is something we may wish to do further validation on. llvm-svn: 71134
* Back out r70506 (exception spec in AST) again. We won't have exception specs ↵Sebastian Redl2009-05-068-106/+26
| | | | | | until we've had a lot more discussion. llvm-svn: 71125
* Handle -march for the LLVM recognized cpu names.Daniel Dunbar2009-05-062-10/+45
| | | | | | | - x86 target feature handling should not be feature complete, even if the code quality is lacking. llvm-svn: 71123
* Refactor BugReporter interface to have a new 'BugReporterContext' andTed Kremenek2009-05-063-98/+157
| | | | | | | | | | | 'BugReporterVisitor'. This simplifies callbacks from BugReporter to BugReports (via VisitNode). It also lays the foundation for arbitrary visitor "call backs" that can be registered to a BugReporterContext as a PathDiagnostic is constructed. These call backs can help operate as separate "experts" that can work on constructed pieces of a PathDiagnostic for which they possess special knowledge. llvm-svn: 71121
* If stderr isn't a terminal, don't try to guess the terminal width orDaniel Dunbar2009-05-062-7/+4
| | | | | | look at COLUMNS. llvm-svn: 71120
* More x86 target feature support.Daniel Dunbar2009-05-065-18/+99
| | | | | | | | | | | | | | | | | | - Apologies for the extremely gross code duplication, I want to get this working and then decide how to get this information out of the back end. - This replaces -m[no-]sse4[12] by -m[no-]sse4, it appears gcc doesn't distinguish them? - -msse, etc. now properly disable/enable related features. - Don't always define __SSE3__... - The main missing functionality bit here is that we don't initialize the features based on the CPU for all -march options. llvm-svn: 71117
* Update checker build.Ted Kremenek2009-05-061-1/+1
| | | | llvm-svn: 71112
* Document environment variables we handle, and don't mention -pipe (itDaniel Dunbar2009-05-061-8/+30
| | | | | | isn't yet supported... lazy developers). llvm-svn: 71109
* Fix analyzer regression reported in PR 4164:Ted Kremenek2009-05-063-13/+95
| | | | | | | | | | - Update the old StoreManager::CastRegion to strip off 'ElementRegions' when casting to void* (Zhongxing: please validate) - Pass-by-reference argument invalidation logic in CFRefCount.cpp: - Strip ElementRegions when the ElementRegion is just a 'raw data' view on top of the underlying typed region. llvm-svn: 71094
OpenPOWER on IntegriCloud