62cc9daae3
Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal)
...
llvm-svn: 60795
2008-12-09 21:20:27 +00:00
70cb0071c9
Add testcase for commit r60781.
...
llvm-svn: 60793
2008-12-09 20:59:16 +00:00
3d8552a75d
Support for implementation of property in the case where
...
the synthesis is in an implementation of s subclass of
a super class where the property has been declared.
llvm-svn: 60792
2008-12-09 20:23:04 +00:00
c13f26873f
Kick out the proof-of-concept ASTOwner and replace it with ASTOwningResult
...
llvm-svn: 60791
2008-12-09 20:22:58 +00:00
93041ba483
Add preliminary CFG support for @throw. We basically treat it like a return statement.
...
llvm-svn: 60790
2008-12-09 20:20:09 +00:00
1857ff4e2c
In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution.
...
llvm-svn: 60789
2008-12-09 20:18:58 +00:00
7379577ab0
Lay the groundwork for converting the entire parser-sema chain to smart pointers.
...
llvm-svn: 60782
2008-12-09 19:36:21 +00:00
b0498eebc2
Sema::ActOnMethodDeclaration(): Make sure we perform the default function/array conversion for parameter types.
...
This fixes <rdar://problem/6424064> checker on xcode: (possible bad AST) can the type of a method parameter really have "isFunctionType() == true"?
and http://llvm.org/bugs/show_bug.cgi?id=2997 .
llvm-svn: 60781
2008-12-09 19:36:17 +00:00
2e41b0e6e7
Fix a serious null termination bug found by David Chisnall!
...
llvm-svn: 60778
2008-12-09 19:10:54 +00:00
e0c2affc5e
Fill in C++ status table for expressions.
...
llvm-svn: 60763
2008-12-09 14:40:01 +00:00
17f2c7d251
Consistently use smart pointers for stmt and expr nodes in parser local variables.
...
llvm-svn: 60761
2008-12-09 13:15:23 +00:00
08628db9d2
Fix <rdar://problem/6429113> clang ObjC rewriter: crash rewriting file with Blocks and properties
...
More fancy footwork to cope with rewriting property 'setters'.
llvm-svn: 60760
2008-12-09 12:56:34 +00:00
2a46a8ef52
initialize member variable.
...
llvm-svn: 60759
2008-12-09 12:26:46 +00:00
2e8123e5bb
Add utility method. Remove an unused method.
...
llvm-svn: 60758
2008-12-09 10:51:19 +00:00
c28ce29a12
[static analyzer] Extend VLA size checking to look for undefined sizes.
...
llvm-svn: 60734
2008-12-09 00:44:16 +00:00
08134c984b
Update Driver to new interface for LiveVariables.
...
llvm-svn: 60732
2008-12-09 00:17:51 +00:00
d7266bf20a
Add zero-sized VLA check test case.
...
llvm-svn: 60731
2008-12-09 00:14:48 +00:00
6ee0a11814
Fixed LiveVariables bug where we didn't consider block-level expressions that functioned as the size of a VLA to be live.
...
llvm-svn: 60730
2008-12-09 00:14:14 +00:00
8e0079c787
Change condition under which 'retain'/'copy' are directly evaluated.
...
llvm-svn: 60729
2008-12-08 23:56:17 +00:00
8f7afdd21e
Add checking for zero-sized VLAs.
...
llvm-svn: 60726
2008-12-08 22:47:34 +00:00
223005f35a
Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m
...
llvm-svn: 60722
2008-12-08 22:05:43 +00:00
1f9dd45f57
Incorporate MissingDeallc_SEL.m test case into MissingDealloc.m
...
llvm-svn: 60721
2008-12-08 22:01:50 +00:00
8f5c0ede0f
Add test case for <rdar://problem/6380411>.
...
llvm-svn: 60720
2008-12-08 21:59:21 +00:00
46415261ee
Fix PR3172: if we see an eof or } at the top level, reject it.
...
This is important because ParseDeclarationOrFunctionDefinition
skips to, but does not consume, an } on error.
llvm-svn: 60719
2008-12-08 21:59:01 +00:00
3a90716f6a
improve comment.
...
llvm-svn: 60718
2008-12-08 21:53:24 +00:00
96d2eecf85
'self.myIvar = nil' (properties) only releases myIvar when the property has kind 'assign'. This fixes <rdar://problem/6380411>.
...
llvm-svn: 60717
2008-12-08 21:44:15 +00:00
5fd31b17df
ObjCInterfaceDecl::lookupInstanceMethod() needs to look through a categories protocols.
...
Fixes <rdar://problem/6418640> clang on prokit: error: incompatible type returning 'id', expected 'NSSize'
llvm-svn: 60716
2008-12-08 20:57:28 +00:00
f1ab600362
Fix a couple uninitialized variables from my previous commit.
...
llvm-svn: 60713
2008-12-08 20:01:41 +00:00
16873c6284
Remove the #include of ScheduleDAGSDNodes.h, which is no longer necessary.
...
llvm-svn: 60712
2008-12-08 19:45:33 +00:00
3edadfc730
Changed 'readonly' 'retain/copy' diagnostics into
...
warning as it is allowed in gcc and will break projects.
llvm-svn: 60710
2008-12-08 19:28:10 +00:00
3685995d2c
Since we do not allow a readonly property to be 'copy'retain', we
...
must allow the continuation class to extend it to a 'readwrite'
and 'copy/retain'.
llvm-svn: 60709
2008-12-08 18:47:29 +00:00
5daeee2bd6
Move Sema::isTemplateParameterDecl to Decl::isTemplateParameter, where it belongs
...
llvm-svn: 60708
2008-12-08 18:40:42 +00:00
f122ff0cad
Fix <rdar://problem/6423452> clang ObjC rewriter: Don't use __declspec(dllimport) for Blocks functions, as they are linked statically.
...
llvm-svn: 60704
2008-12-08 17:30:33 +00:00
1042ff345a
Handle chained/nested property 'getters' (obj.p1.p2.p3).
...
This is a follow-up to fixing <rdar://problem/6213955> clang ObjC rewriter: rewriter doesn't appear to support @property and @synthesize.
llvm-svn: 60700
2008-12-08 16:43:47 +00:00
82639aff7b
Fill in some parts of cxx_status.html
...
llvm-svn: 60699
2008-12-08 16:24:08 +00:00
17a37ebf32
fix 80-col violation.
...
llvm-svn: 60693
2008-12-08 07:14:51 +00:00
8df5083bb4
fix typo.
...
llvm-svn: 60686
2008-12-08 05:12:38 +00:00
14fb8587be
Workaround for PR3173. The fix is correct in the sense that if the enum
...
code were working correctly, it would be a no-op, but it's not really a
proper fix. That said, I don't really want to touch the enum code at
the moment because I don't understand it very well, and this seems to
be a relatively visible regression.
llvm-svn: 60680
2008-12-08 02:21:03 +00:00
66f6fa1b2b
Fix outdated comment. Checks so much more than just typedefs in C++.
...
llvm-svn: 60676
2008-12-07 20:13:57 +00:00
cbab7f6b29
add missing gentoo c++ include paths
...
llvm-svn: 60655
2008-12-07 12:11:37 +00:00
b3582b939e
a minor grammar fix
...
llvm-svn: 60646
2008-12-07 00:59:53 +00:00
a1a9c28d30
Pass the VLA size expr range to the VLA diags
...
llvm-svn: 60645
2008-12-07 00:49:48 +00:00
0d8f0ba6ed
Improve VLA diagnostics/sema checking. Fixes PR2361 and PR2352.
...
llvm-svn: 60638
2008-12-07 00:20:55 +00:00
06d0dd641b
Setters returning a typedef of 'void' should not cause error.
...
Bug reported by Chris L.
llvm-svn: 60635
2008-12-06 23:12:49 +00:00
d2c2ad515e
Use of properties declared in protocols in the category
...
via the category's protocol list1s, with appropriate
diagnsostics and a test case.
llvm-svn: 60634
2008-12-06 23:03:39 +00:00
3bb1ffca94
Simplify test.
...
llvm-svn: 60631
2008-12-06 22:27:22 +00:00
ff83998e31
Improve error reporting of property and setter/getter
...
type mimatches.
llvm-svn: 60630
2008-12-06 21:48:16 +00:00
8707e322cc
Check for correct'void' return type for setter methods.
...
llvm-svn: 60629
2008-12-06 21:11:37 +00:00
5df391e5c7
Add diagnostics for bitfields.
...
llvm-svn: 60628
2008-12-06 20:33:04 +00:00
45f4b8c0f2
Fix invalid bit-field.
...
llvm-svn: 60627
2008-12-06 20:32:39 +00:00
233a60d03e
Simplify some diagnostics.
...
llvm-svn: 60626
2008-12-06 20:05:35 +00:00
62293f4d97
Changed a 'FIXME' into new comment. Added a test case
...
testing declaration of properties in categories.
llvm-svn: 60625
2008-12-06 19:59:02 +00:00
69d78b9d98
Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.
...
llvm-svn: 60622
2008-12-06 02:39:30 +00:00
5a3422f602
Patch to diagnose a variety of misuse of property
...
attributes. Example would be, readonly, assign or
assign, copy, etc.
llvm-svn: 60620
2008-12-06 01:12:43 +00:00
b0846b0f51
Add support for calls to dependent names within templates, e.g.,
...
template<typename T> void f(T x) {
g(x); // g is a dependent name, so don't even bother to look it up
g(); // error: g is not a dependent name
}
Note that when we see "g(", we build a CXXDependentNameExpr. However,
if none of the call arguments are type-dependent, we will force the
resolution of the name "g" and replace the CXXDependentNameExpr with
its result.
GCC actually produces a nice error message when you make this
mistake, and even offers to compile your code with -fpermissive. I'll
do the former next, but I don't plan to do the latter.
llvm-svn: 60618
2008-12-06 00:22:45 +00:00
4619e439b6
Introduce basic support for dependent types, type-dependent
...
expressions, and value-dependent expressions. This permits us to parse
some template definitions.
This is not a complete solution; we're missing type- and
value-dependent computations for most of the expression types, and
we're missing checks for dependent types and type-dependent
expressions throughout Sema.
llvm-svn: 60615
2008-12-05 23:32:09 +00:00
9c196795e6
Fixed a comment.
...
llvm-svn: 60611
2008-12-05 22:36:19 +00:00
fbbaf6afae
This test checks for duplicate implementation of the same
...
property. It also checks for duplicate use of the same ivar
in two different iproperty implementations. It also caught
an error for a test case used in CodeGen :).
llvm-svn: 60610
2008-12-05 22:32:48 +00:00
88909849bb
Fixed a test case. Added a test case showing property setter's
...
type mismatch (related to my last patch).
llvm-svn: 60599
2008-12-05 18:38:31 +00:00
7988d7dc3e
(instance/class) Method type checking between class and its implementation.
...
(instance/class) Method type checking between category and its implementation.
And a test case for all.
llvm-svn: 60598
2008-12-05 18:18:52 +00:00
5101c24f60
Representation of template type parameters and non-type template
...
parameters, with some semantic analysis:
- Template parameters are introduced into template parameter scope
- Complain about template parameter shadowing (except in Microsoft mode)
Note that we leak template parameter declarations like crazy, a
problem we'll remedy once we actually create proper declarations for
templates.
Next up: dependent types and value-dependent/type-dependent
expressions.
llvm-svn: 60597
2008-12-05 18:15:24 +00:00
6d6da255fb
Fixed <rdar://problem/6213808> clang ObjC rewriter: @finally is not always executed
...
llvm-svn: 60593
2008-12-05 17:03:39 +00:00
1aa679227b
Use VerifyIntegerConstantExpression instead of isIntegerConstantExpr. Fixes PR2963
...
llvm-svn: 60591
2008-12-05 16:33:57 +00:00
98463cd44d
This wasn't such a good idea after all as it broke some tests.
...
llvm-svn: 60582
2008-12-05 05:24:13 +00:00
3bc1d7d3d3
Handle __builtin___CFStringMakeConstantString in Expr::Evaluate.
...
llvm-svn: 60581
2008-12-05 05:18:05 +00:00
1e495d9860
Make Sema::CheckForConstantInitializer use Expr::Evaluate. This fixes PR3130.
...
llvm-svn: 60580
2008-12-05 05:09:56 +00:00
bd4551cced
Change the implementation of symbol_iterator to not use a union and rely on any details of SymbolRef's implementation.
...
llvm-svn: 60579
2008-12-05 02:56:39 +00:00
c9e7622a52
Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber().
...
llvm-svn: 60578
2008-12-05 02:45:20 +00:00
3cb81db1b2
Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed).
...
llvm-svn: 60577
2008-12-05 02:39:38 +00:00
e2c86c30d0
Remove (unused) RegionExtent and subclasses. Extents are now represented easily using SVals.
...
llvm-svn: 60576
2008-12-05 02:36:00 +00:00
d8242f19f7
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
...
llvm-svn: 60575
2008-12-05 02:27:51 +00:00
fbcf1e2623
Rename: FindContext -> FindDeclVisibleInContext.
...
llvm-svn: 60574
2008-12-05 01:57:57 +00:00
521b3a363e
Patch for diagnosing type mismatch between
...
methods in class and its implementation.
This is work in progress.
llvm-svn: 60573
2008-12-05 01:35:25 +00:00
8e942123cb
Remove SymbolDataContentsOf (unused).
...
llvm-svn: 60572
2008-12-05 01:31:31 +00:00
d368de794a
StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data.
...
llvm-svn: 60570
2008-12-05 00:47:52 +00:00
5b4927048f
-std=c99 defaults blocks to off even on darwin, but -fblocks overrides
...
even it.
llvm-svn: 60568
2008-12-05 00:10:44 +00:00
22216db0ec
Finish up support for <rdar://problem/6213955> clang ObjC rewriter: rewriter doesn't appear to support @property and @synthesize.
...
llvm-svn: 60565
2008-12-04 23:50:32 +00:00
79413956d4
change getCurFunctionDecl to skip through Block contexts to find
...
the containing block. Introduce a new getCurFunctionOrMethodDecl
method to check to see if we're in a function or objc method.
Minor cleanups to other related places. This fixes rdar://6405429.
llvm-svn: 60564
2008-12-04 23:50:19 +00:00
2ca529ce61
instead of forcing blocks on by default, make them default to off, but let
...
specific targets default them to on. Default blocks to on on 10.6 and later.
Add a -fblocks option that allows the user to override the target's default.
Use -fblocks in the various testcases that use blocks.
llvm-svn: 60563
2008-12-04 23:20:07 +00:00
5271058c75
Output better diagnostics for continuation class
...
property attribute mis-specification.
llvm-svn: 60562
2008-12-04 22:56:16 +00:00
c7c6dd4d97
replace useNeXTRuntimeAsDefault with a generic hook that allows targets
...
to specify their default language options.
llvm-svn: 60561
2008-12-04 22:54:33 +00:00
1aed3ddffa
Remove unneeded assertion.
...
llvm-svn: 60559
2008-12-04 22:47:11 +00:00
bf28bceb10
Remove unneeded assertion. We already know that FE->getName() is an absolute path.
...
llvm-svn: 60558
2008-12-04 22:36:44 +00:00
33a3101d43
Code cleanup in new handling.
...
llvm-svn: 60557
2008-12-04 22:20:51 +00:00
baedbf47f6
Use 'free' to release PerIDCache since it was allocated using calloc().
...
llvm-svn: 60556
2008-12-04 22:09:37 +00:00
561370c23e
Add 'expected-warning' to make test case pass.
...
llvm-svn: 60548
2008-12-04 19:44:23 +00:00
d58e74182e
Add another static analyzer test case involving attribute(nonnull).
...
llvm-svn: 60547
2008-12-04 19:39:12 +00:00
7d71db77d2
Fix bug in attribute(nonnull) processing where not all of the parameter indices in nonnull(...) were actually processed.
...
llvm-svn: 60546
2008-12-04 19:38:33 +00:00
f8d556881e
Fix build breakage from my previous commit.
...
Will discuss with Chris...
llvm-svn: 60545
2008-12-04 19:10:03 +00:00
3f0e5c88d9
Add another test case for attribute(nonnull) checking.
...
llvm-svn: 60544
2008-12-04 18:35:53 +00:00
f84512a360
Fix some diagnostics and enhance test cases. Now tests member new and ambiguous overloads.
...
llvm-svn: 60542
2008-12-04 17:24:46 +00:00
4588d0f060
Several things...
...
- Implement RewritePropertySetter(). While the routine is simple, there were some tricky changes to RewriteFunctionBodyOrGlobalInitializer(), the main rewriter loop. It also required some additional instance data to distinguish setters from getters, as well as some changes to RewritePropertyGetter().
- Implement FIXME: for pretty printing ObjCPropertyRefExpr's.
- Changed ObjCPropertyRefExpr::getSourceRange() to point to the end of the property name (not the beginning). Also made a minor name change from "Loc"->"IdLoc" (to make it clear the Loc does not point to the ".").
llvm-svn: 60540
2008-12-04 16:24:46 +00:00
2c4efe68ea
Mention an optimization opportunity pointed out by Chris.
...
llvm-svn: 60535
2008-12-04 09:05:45 +00:00
677779ab36
Revamp RegionStoreManager::RemoveDeadBindings. This method now does a complete mark-and-sweep of the store, removing dead regions and recording the set of live and dead symbols appropriately.
...
llvm-svn: 60523
2008-12-04 02:08:27 +00:00
4a3f1efd25
Revise bogus comment I just committed.
...
llvm-svn: 60522
2008-12-04 02:07:20 +00:00
4cef8c2d58
Add comment to test case for documentation.
...
llvm-svn: 60521
2008-12-04 02:06:27 +00:00
8e8cc81aec
Update comment.
...
llvm-svn: 60520
2008-12-04 02:06:04 +00:00
96c0fa8b42
Add comments.
...
llvm-svn: 60516
2008-12-04 01:12:41 +00:00
45c2f9d320
Correct CodeGen assumption that LongTy == Int32Ty in a few places. This makes several CodeGenObjC tests pass on 64-bit by fixing assertions. This doesn't mean that the result is actually what the GNU runtime expects, though.
...
llvm-svn: 60515
2008-12-04 00:10:55 +00:00
ba3fdfcbff
Fix some type punning errors in SizeOfAlignOf and Typeid AST nodes. This should satisfy compilers and language lawyers alike.
...
llvm-svn: 60511
2008-12-03 23:17:54 +00:00
5a6ef49e70
Added GDM query functions "contains" for the data types that support the "Contains" method.
...
llvm-svn: 60505
2008-12-03 20:49:14 +00:00
217dc8de69
Added partial specialization of GRStatePartialTrait<T> with T = ImmutableSet<...>.
...
llvm-svn: 60504
2008-12-03 20:48:33 +00:00
faf6808e7a
Overload resolution for the operator new function. Member version is still untested.
...
llvm-svn: 60503
2008-12-03 20:26:15 +00:00
cd7cc1ec0b
Properly "include" abs_path.
...
llvm-svn: 60502
2008-12-03 19:50:37 +00:00
6cd08e42e4
Use abs_path to resolve symbolic links and '..' in report table.
...
llvm-svn: 60493
2008-12-03 19:19:23 +00:00
eda6c23984
Don't have special treatment from pruning the common suffices of files in /Developer, /usr, etc.
...
llvm-svn: 60491
2008-12-03 19:16:58 +00:00
fff9f4aaaf
BasicConstraintManager:
...
- Fix nonsensical logic in AssumeSymGE. When comparing 'sym >= constant' and the
constant is the maximum integer value, add the constraint that 'sym ==
constant' when the path is deemed feasible. All other cases are feasible.
- Improve AssumeSymGT. When comparing 'sym > constant' and constant is the
maximum integer value we know the path is infeasible.
- Add test case for this enhancement to AssumeSymGT.
llvm-svn: 60490
2008-12-03 19:06:30 +00:00
f935cfe277
BasicConstraintManager:
...
- Fix nonsensical logic in AssumeSymLE. When comparing 'sym <= constant' and the
constant is the minimum integer value, add the constraint that 'sym ==
constant' when the path is deemed feasible. All other cases are feasible.
- Improve AssumeSymLT to address <rdar://problem/6407949>. When comparing
'sym < constant' and constant is the minimum integer value we know the
path is infeasible.
- Add test case for <rdar://problem/6407949>.
llvm-svn: 60489
2008-12-03 18:56:12 +00:00
9c33e96813
Fix typo in index operator overloading.
...
llvm-svn: 60483
2008-12-03 16:32:40 +00:00
6a113d9ddb
If a global var decl has an initializer, make sure to always set its linkage to external.
...
llvm-svn: 60462
2008-12-03 05:51:23 +00:00
73a4d28758
PTH:
...
Use an array instead of a DenseMap to cache persistent IDs -> IdentifierInfo*. This leads to a 4% speedup at -fsyntax-only using PTH.
llvm-svn: 60452
2008-12-03 01:16:39 +00:00
f326f4056e
More support for rewriting property getter/setters.
...
llvm-svn: 60450
2008-12-03 00:56:33 +00:00
e1fc020e65
Update Xcode project.
...
llvm-svn: 60448
2008-12-03 00:38:43 +00:00
33eeabda61
- Remove PTHManager.cpp. Move all of its functions to PTHLexer.cpp since some of the internal methods are used by PTHLexer (their implementations are intertwined.) This enables some important inlining opportunities at -O3.
...
- Don't construct an std::vector<Token> prior to feeding PTH tokens to the Preprocessor. Stream them off the PTH file directly.
llvm-svn: 60447
2008-12-03 00:38:03 +00:00
d6d55eeef5
Correct pretty printing of array new expressions.
...
llvm-svn: 60444
2008-12-02 22:08:59 +00:00
d328da1b65
Update Xcode project.
...
llvm-svn: 60441
2008-12-02 20:16:22 +00:00
da4d9dfbca
Add "-token-cache" option for using pretokenized cache files.
...
llvm-svn: 60440
2008-12-02 19:57:31 +00:00
af058b5696
Preprocessor:
...
- Added method "setPTHManager" that will be called by the driver to install
a PTHManager for the Preprocessor.
- Fixed some comments.
- Added EnterSourceFileWithPTH to mirror EnterSourceFileWithLexer.
llvm-svn: 60437
2008-12-02 19:46:31 +00:00
498b6210fc
Added PTHManager, a utility class that will be used by Preprocessor to lazily create PTHLexer objects for pre-tokenized files.
...
llvm-svn: 60436
2008-12-02 19:45:05 +00:00
ccaab17e2c
PTH emission:
...
- Output 32 bit integers using bit-shifting + write of individual bytes.
This is motivated because we aren't guaranteed to load 32-bit ints of the mmaped PTH file at 4-byte offsets.
- Don't emit flags for IdentifierInfos. These are lazily populated by the Preprocessor/Parser.
- Only write out tokens for files with absolute paths. This is potentially temporary, but simplifies things for now.
llvm-svn: 60435
2008-12-02 19:44:08 +00:00
eae373ea32
More type-checking of setter/getter methods. This is still
...
work in prgress.
llvm-svn: 60430
2008-12-02 18:39:49 +00:00
48b5a33826
llvm-ld doesnt support '-g', so aovid passing that opt to it
...
llvm-svn: 60428
2008-12-02 18:19:03 +00:00
0629704e78
Add a couple FIXME's.
...
llvm-svn: 60427
2008-12-02 17:54:50 +00:00
c038b3af03
Make sure synthesized properties get inserted into the classes/categories meta data.
...
llvm-svn: 60426
2008-12-02 17:36:43 +00:00
5c6ebcc198
Parsing new and delete is now complete.
...
llvm-svn: 60425
2008-12-02 17:22:40 +00:00
538787f571
Add better comments to ::new parsing. Thanks to Doug for the review.
...
llvm-svn: 60423
2008-12-02 17:10:24 +00:00
6ef75e9ee8
Make RegionStoreManager::InitializeArray safe against array sizes that don't have pointer width.
...
This may be the case on 64-bit systems. Whether that fact is a bug is a different question, but it's easy to cure the symptom.
llvm-svn: 60422
2008-12-02 16:47:35 +00:00
db36b9b962
Make the parser handle ::new and ::delete correctly.
...
llvm-svn: 60421
2008-12-02 16:35:44 +00:00
fb5df7235a
int-arith-convert.c makes assumptions about integer sizes, so force a specific architecture
...
llvm-svn: 60420
2008-12-02 16:34:01 +00:00
39bc53593d
Update cmake build; patch by Csaba Hruska.
...
llvm-svn: 60418
2008-12-02 16:23:30 +00:00
003d00eea3
Simplify previous commit.
...
llvm-svn: 60416
2008-12-02 16:05:55 +00:00
e918435f94
Fix for PR3150: obvious copy-paste bug in
...
ScalarExprEmitter::VisitBinLOr.
llvm-svn: 60415
2008-12-02 16:02:46 +00:00
9af949105a
More work to rewrite synthesize properties (<rdar://problem/6213955>)
...
llvm-svn: 60414
2008-12-02 15:48:25 +00:00
351bb78a10
Handle new by passing the Declaration to the Action, not a processed type.
...
llvm-svn: 60413
2008-12-02 14:43:59 +00:00
817737a002
Add FIXME.
...
llvm-svn: 60390
2008-12-02 01:26:07 +00:00
f5d08c9ee4
Disabling this code due to regression on test/CodeGen/bitfield.c. See
...
PR3152.
llvm-svn: 60389
2008-12-02 01:17:45 +00:00
f558618fa4
A little more scaffolding for parsing templates:
...
- Template parameter scope to hold the template parameters
- Template parameter context for parsing declarators
- Actions for template type parameters and non-type template
parameters
llvm-svn: 60387
2008-12-02 00:41:28 +00:00
015a48d1db
This patch corrects problem in searching for a setter/getter method for
...
a property. Previous scheme of seaching in interface's list of methods
would not work because this list is not yet constructed. This is in preparation
for doing semantic check on viability of setter/getter method declarations.
llvm-svn: 60386
2008-12-02 00:19:12 +00:00
eb31f39558
Basic support for parsing templates, from Andrew Sutton
...
llvm-svn: 60384
2008-12-01 23:54:00 +00:00
da747baa3c
Improve error recovery when parsing a function definition fails
...
llvm-svn: 60380
2008-12-01 23:03:32 +00:00
b690cbb928
Initialize storage class even if we got an erroneous mutable
...
llvm-svn: 60377
2008-12-01 22:46:22 +00:00
90abb6dead
Objective-C keywords are not always identifiers. Some are also C++ keywords
...
llvm-svn: 60373
2008-12-01 21:46:47 +00:00
dce30aa0f9
Fix RUN line
...
llvm-svn: 60372
2008-12-01 21:17:52 +00:00
e1908e393e
-Add several ObjC types to Decl::getDeclKindName(), a useful debug hook.
...
-Start adding support for rewriting @synthesize.
llvm-svn: 60368
2008-12-01 20:33:01 +00:00
e912266bdb
Test blocks in C++ mode
...
llvm-svn: 60367
2008-12-01 19:48:06 +00:00
95c326d14a
Use EmitInt, not Emit, to emit unsigned values
...
llvm-svn: 60364
2008-12-01 19:45:16 +00:00
0132cdc45c
Add test case for __ASSEMBLER__ definition.
...
llvm-svn: 60363
2008-12-01 19:23:47 +00:00
1f3d7849a8
Add LangOptions marker for assembler-with-cpp mode and use to define
...
__ASSEMBLER__ properly. Patch from Roman Divacky (with minor
formatting changes). Thanks!
llvm-svn: 60362
2008-12-01 18:55:22 +00:00
c12ce19595
Enable blocks in C++
...
llvm-svn: 60361
2008-12-01 18:34:47 +00:00
2dc61144cd
Make sure __null test runs in both 32- and 64-bit. Thanks Anders
...
llvm-svn: 60360
2008-12-01 18:05:11 +00:00
356513d7d0
Parse the exception-specification throw(...), a Microsoft extension
...
llvm-svn: 60359
2008-12-01 18:00:20 +00:00
dc37c81448
Add the test for __null
...
llvm-svn: 60357
2008-12-01 17:31:21 +00:00
f7ab50df29
Define NULL to __null in C++, so that it's guaranteed to have the same size as a pointer
...
llvm-svn: 60355
2008-12-01 17:20:57 +00:00
5b3638b6e7
Generate the correct results for the comma expression. Fixes PR3123.
...
llvm-svn: 60334
2008-12-01 06:44:05 +00:00
eade3ad1f1
Revert change that made isNullPointerConstant start emitting warnings. We don't want that :)
...
llvm-svn: 60333
2008-12-01 06:28:23 +00:00
0309d904f7
Fix test. (0 && (a(),1)) is a valid I-C-E according to C99.
...
llvm-svn: 60331
2008-12-01 06:27:38 +00:00
8628645e94
Change more code over to using the new Expr::Evaluate
...
llvm-svn: 60324
2008-12-01 02:46:24 +00:00
38eef1de6c
Change more code over to using the new Expr::Evaluate
...
llvm-svn: 60323
2008-12-01 02:42:14 +00:00
c9687907c5
Use the new Expr::Evaluate
...
llvm-svn: 60321
2008-12-01 02:31:41 +00:00
e7c2ac4b54
Remove dead code.
...
llvm-svn: 60320
2008-12-01 02:25:52 +00:00
1dbffc6e36
Add Sema::isNullPointerConstant which extwarns if necessary. Use it in Sema::CheckConditionalOperands.
...
llvm-svn: 60319
2008-12-01 02:17:22 +00:00
4bb9113da4
Add a new variant of isNullConstantExpr that returns an EvalResult.
...
llvm-svn: 60318
2008-12-01 02:13:57 +00:00
f7fba46331
Use VerifyIntegerConstantExpression for case values.
...
llvm-svn: 60317
2008-12-01 02:13:02 +00:00
564730a857
Emit the correct diagnostic when a comma is in an ICE.
...
llvm-svn: 60316
2008-12-01 02:07:06 +00:00
e54e8a1182
Add Sema::VerifyIntegerConstantExpression
...
llvm-svn: 60305
2008-11-30 19:50:32 +00:00
b33d6c8611
Change the diagnostics that the evaluator reports to be of type NOTE.
...
llvm-svn: 60301
2008-11-30 18:37:00 +00:00
5862001157
Replace the isEvaluated bool with a ShortCircuit int, making it easier to handle recursion
...
llvm-svn: 60300
2008-11-30 18:26:25 +00:00
27b8c5c464
Pass the expression to the Error and Extension methods.
...
llvm-svn: 60299
2008-11-30 18:14:57 +00:00
7b6f0af83f
Add a new variant of Evaluate and reimplement the old Evaluate in terms of the new.
...
llvm-svn: 60298
2008-11-30 16:58:53 +00:00
f50de0c590
General cleanup, evaluate the RHS of a logical op even if the LHS will give us the result.
...
llvm-svn: 60297
2008-11-30 16:51:17 +00:00
bd1df8e866
EvalInfo now holds a reference to an EvalResult struct.
...
llvm-svn: 60296
2008-11-30 16:38:33 +00:00
6c5887ce16
Add Expr::EvalResult struct. (Not used just yet)
...
llvm-svn: 60295
2008-11-30 16:19:46 +00:00
9cc7cba848
remove a test case that causes compiler warning.
...
llvm-svn: 60282
2008-11-30 05:59:27 +00:00
5c75919093
Add test for initializing array with string literal.
...
llvm-svn: 60281
2008-11-30 05:51:19 +00:00
d2fa1e0999
Add support for initializing array with string literal.
...
This fixes PR3127
http://llvm.org/bugs/show_bug.cgi?id=3127
llvm-svn: 60280
2008-11-30 05:49:49 +00:00
c59bb48e80
Fix for PR2969: generate a memcpy from a constant for constant
...
initializers. llvm-gcc appears to be more aggressive, but incorrect,
for constructs like "const int a[] = {1,2,3};"; that said, current
optimizers will do the appropriate optimizations when safe.
llvm-svn: 60270
2008-11-30 02:11:09 +00:00
79ceb0947b
Minor update to CMake build system.
...
llvm-svn: 60269
2008-11-30 01:46:21 +00:00
77b5df6313
CXXFunctionalCastExpr inherits from ExplicitCastExpr.
...
llvm-svn: 60249
2008-11-29 19:58:11 +00:00
452273d9c6
To be consistent, make the index of the ElementRegion always signed.
...
llvm-svn: 60248
2008-11-29 12:05:04 +00:00
3be4b122d3
Implement the GNU __null extension
...
llvm-svn: 60235
2008-11-29 04:51:27 +00:00
9d72ff710e
Switch QualType to use llvm::PointerIntPair internally to do the pointer
...
bitmangling.
llvm-svn: 60226
2008-11-28 23:37:31 +00:00
e31a8ebfdc
Fix a serious bug.
...
When initialized, the index of the ElementRegion was unsigned. But the index
value of the ArraySubscriptExpr is signed. This inconsistency caused the value
of the array element retrieved to be UnknownVal despite it was initialized to
symbolic.
This is only a hack. Real fix of this problem is required.
llvm-svn: 60207
2008-11-28 08:41:39 +00:00
33178a0993
Code cleanup. No functional change.
...
llvm-svn: 60206
2008-11-28 08:34:30 +00:00
85b6e201f4
Use std::make_pair instead of std::pair's ctor.
...
llvm-svn: 60205
2008-11-28 03:55:52 +00:00
3698bdb417
Enable the GRStateManager to do something when we finish a path. For example,
...
the ConstraintManager can print its internal state before its solver instance is
destroyed.
llvm-svn: 60204
2008-11-28 03:07:05 +00:00
e85cb38d5c
remove dead diag
...
llvm-svn: 60181
2008-11-27 19:33:39 +00:00
3ceaf62240
Fix order of evaluation.
...
llvm-svn: 60160
2008-11-27 07:28:14 +00:00
7b3d3d3ee1
ImmutableList::getInternalPointer() returns a const ImmutableListImpl<T>* pointer, which must be converted to void* explicitly.
...
llvm-svn: 60152
2008-11-27 06:32:54 +00:00
59e2d41a8e
Factory objects should not be temporary. It caches all objects in the set.
...
llvm-svn: 60151
2008-11-27 06:08:40 +00:00
b670f294c9
RegionViewMap factory is actually not used. All GDMs should use factories from
...
GDMContext.
llvm-svn: 60150
2008-11-27 06:03:03 +00:00
e9095f55c7
Test commit.
...
llvm-svn: 60147
2008-11-27 03:47:29 +00:00
b94f440754
Add comments.
...
llvm-svn: 60146
2008-11-27 02:39:34 +00:00
2d311e8354
Add license comments.
...
llvm-svn: 60144
2008-11-27 02:19:10 +00:00
16e3f0e03f
Add support for pluggable components of static analyzer.
...
- Creator function pointers are saved in ManagerRegistry.
- The Register* class is used to notify ManagerRegistry new module is
available.
- AnalysisManager queries ManagerRegistry for configurable module. Then it
passes them to GRExprEngine, in turn to GRStateManager.
llvm-svn: 60143
2008-11-27 01:55:08 +00:00
a29dc05eaf
Add implicit conversions for Objective-C qualified ids, e.g.,
...
id<P0>
The intended overloading behavior of these entities isn't entirely
clear, and GCC seems to have some strange limitations (e.g., the
inability to overload on id<P0> vs. id<P1>). We'll want to revisit
these semantics and determine just how Objective-C++ overloading
should really work.
llvm-svn: 60142
2008-11-27 01:19:21 +00:00
bb9bf88fa4
Cleanup formatting
...
llvm-svn: 60140
2008-11-27 00:52:49 +00:00
e7dd145c02
Don't complain about block pointer to void* conversions
...
llvm-svn: 60138
2008-11-27 00:44:28 +00:00
1f50dc899f
PTHLexer now owns the Token vector.
...
llvm-svn: 60136
2008-11-27 00:38:24 +00:00
231d1c6f8f
Support block pointer conversions in C++. I'm storing the test case locally until we can enable blocks in C++
...
llvm-svn: 60133
2008-11-27 00:15:41 +00:00
b1ef37589c
- Enhance PTH generation to write out IdentifierInfo table in two parts:
...
- a table including the IdentifierInfo data
- an index from persistent IdentifierInfo IDs to indices within this file.
- Enhance PTH generation to write out file map information, mapping inodes to tokens.
llvm-svn: 60132
2008-11-26 23:58:26 +00:00
Ted Kremenek