]>
granicus.if.org Git - clang/log
Daniel Dunbar [Thu, 12 Mar 2009 18:40:18 +0000 (18:40 +0000)]
Driver: Add majority of driver-driver implementation.
- Compare to driverdriver.c if bored; not completely fair since the
driver gets a bit more code in other places to handle binding archs
(for Xarch) but not completely unfair either.
Fear not, extra Action classes will have a happy home for their
vtables soon.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66817
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 12 Mar 2009 18:36:18 +0000 (18:36 +0000)]
Use StmtVisitor to handle the decoding of expressions for
instantiation. This is roughly the structure we want to expression
instantiation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66816
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 12 Mar 2009 18:33:24 +0000 (18:33 +0000)]
API fix: All "bodies" for functions, Objective-C methods, blocks, are assumed to
be CompoundStmts. I think this is a valid assumption, and felt that the API
should reflect it. Others please validate this assumption to make sure I didn't
break anything.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66814
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 18:31:08 +0000 (18:31 +0000)]
Driver: Drop some unnecessary uses of clang namespace.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66813
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 18:24:49 +0000 (18:24 +0000)]
Driver: Introduce ActionList typedef, tweak some constness.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66809
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 18:21:41 +0000 (18:21 +0000)]
Driver: Add types::canLipoType helper method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66807
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 18:20:49 +0000 (18:20 +0000)]
Driver: Add some HostInfo accessors.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66806
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 18:20:18 +0000 (18:20 +0000)]
Driver: Add ArgList support for synthesizing arguments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66805
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Thu, 12 Mar 2009 17:55:17 +0000 (17:55 +0000)]
More ident fixes
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66801
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 12 Mar 2009 17:31:43 +0000 (17:31 +0000)]
add a callback for macro expansion, based on a patch by Paolo Bolzoni!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66799
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 12 Mar 2009 16:53:44 +0000 (16:53 +0000)]
Straw man for instantiation of expressions. Use it to instantiate the
width of bitfields.
I'll be burning this down and replacing it with a properly-dispatched
implementation like the one used for types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66796
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 16:03:38 +0000 (16:03 +0000)]
Driver: Add ArgList::getLastArg.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66794
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 15:59:34 +0000 (15:59 +0000)]
ccc: Fix broken assertion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66793
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 15:57:47 +0000 (15:57 +0000)]
ccc: Fix -ccc-print-phases when doing a universal build.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66792
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 10:14:16 +0000 (10:14 +0000)]
Add Diagnostic files for Frontend and move a couple errors over.
- Notably, clang now exits with an error if it can't find a
file. This flushed out a bug in the CGColorSpace.c test case. :)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66789
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 09:13:48 +0000 (09:13 +0000)]
Driver: Tweak diag names to be more consistent.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66787
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 08:55:43 +0000 (08:55 +0000)]
Driver: Use standard Diagnostic interface for diagnostics.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66786
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 08:45:11 +0000 (08:45 +0000)]
Driver: Fix thinko in Arg::hasArg.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66785
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 08:44:47 +0000 (08:44 +0000)]
Driver: '-' is parsed as an input.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66784
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 07:58:46 +0000 (07:58 +0000)]
Driver: Start sketching construction of abstract built actions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66783
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Thu, 12 Mar 2009 07:54:17 +0000 (07:54 +0000)]
Add comments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66782
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 07:40:41 +0000 (07:40 +0000)]
Driver: Add information on Driver input/temporary types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66781
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 05:46:32 +0000 (05:46 +0000)]
Driver: Add Option flags.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66774
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 04:50:20 +0000 (04:50 +0000)]
ccc: Tweak some group names.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66772
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 03:55:01 +0000 (03:55 +0000)]
Driver: Add definitions for all the gcc options the current ccc
understands.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66769
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Thu, 12 Mar 2009 03:45:35 +0000 (03:45 +0000)]
Use getAsRecordType() to get around sugar types.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66768
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 03:42:54 +0000 (03:42 +0000)]
Driver: Tweak option naming/def:
- Use OPT_ prefix for ids.
- Reference groups and aliases by shortend id (on the theory that
this is more readable).
- Rename the special option ids to more protected names.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66767
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 03:28:55 +0000 (03:28 +0000)]
ccc: Cleanup arguments a bit; we don't need a separate group for
-fblocks, and there were some duplicate options scattered in.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66764
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 03:07:24 +0000 (03:07 +0000)]
Fix uninitialized use in GetAddrOfGlobalBlock, reenable assert.
- Mike, please verify.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66762
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Thu, 12 Mar 2009 01:55:38 +0000 (01:55 +0000)]
Add comments to test case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66760
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 01:46:53 +0000 (01:46 +0000)]
Driver: Reorder arguments in Options.def so option name is first.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66759
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 01:36:44 +0000 (01:36 +0000)]
Driver: Add ArgList::hasArg, for testing for the presence of an
argument matching some Option::ID.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66758
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 01:34:20 +0000 (01:34 +0000)]
Driver: Add Option::getId and Option::matches taking an option
identifier; we will want to use the latter in situations where we just
want to check for a match, but not load options unnecessarily.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66757
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Thu, 12 Mar 2009 01:32:10 +0000 (01:32 +0000)]
Driver: Add default index (=0) for Arg::getValue and add Arg::claim
(will be used to emit "command line argument unused" diagnostics).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66756
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Thu, 12 Mar 2009 00:09:31 +0000 (00:09 +0000)]
Note some advances in our C++ support
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66742
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 23:54:15 +0000 (23:54 +0000)]
Properly restore ActiveScope when we exit parsing of a block. This
should fix the largest problem in <rdar://problem/
6669847 >.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66741
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 23:52:16 +0000 (23:52 +0000)]
Fix various problems with matching out-of-line definitions of static
class members to the corresponding in-class declaration.
Diagnose the erroneous use of 'static' on out-of-line definitions of
class members.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66740
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 23:43:16 +0000 (23:43 +0000)]
Remove '[naming convention]' from bug type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66739
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 23:09:16 +0000 (23:09 +0000)]
add some spaces :)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66738
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Wed, 11 Mar 2009 23:07:54 +0000 (23:07 +0000)]
ccc: -x assembler-with-cpp was broken for darwin, and it wasn't using
clang as the preprocessor even when it should.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66737
91177308 -0d34-0410-b5e6-
96231b3b80d8
Gabor Greif [Wed, 11 Mar 2009 23:07:18 +0000 (23:07 +0000)]
gnu++0x is definitely *not* the default
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66736
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 23:00:04 +0000 (23:00 +0000)]
Move most of the checking from ActOnCXXMemberDeclarator to other, more general routines. This is a step toward separating the checking logic from Declarators, which in turn is required for template instantiation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66734
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 22:52:17 +0000 (22:52 +0000)]
don't use strtoul on a non-null-terminated string.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66732
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Wed, 11 Mar 2009 22:05:26 +0000 (22:05 +0000)]
x86_32 ABI: Don't try and expand structures with bitfields.
- This is an ABI incompatiblity, but this is not likely to be a huge
deal in practice. For now we at least generate self consistent code
instead of crashing.
- <rdar://problem/
6657601 > x86-32 ABI: Bitfields in small structures
are not passed correctly
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66713
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 21:57:34 +0000 (21:57 +0000)]
Add TypedViewRegion::isBoundable() to indicate whether or not the
TypedViewRegion has a valid rvalue type. Also renamed instance variable 'T' to
'LvalueType' to make it unambiguous of its purpose.
This fixes some crashes I was seeing after:
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-
20090309 /013771.html
This is because 'isBoundable()' is defined in TypedRegion (the parent class) in
terms of the rvalue type (which could be null), while for TypedViewRegion it
should be defined in terms of the lvalue type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66712
91177308 -0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Wed, 11 Mar 2009 21:42:00 +0000 (21:42 +0000)]
Code refactoring. No change in functionality.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66710
91177308 -0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Wed, 11 Mar 2009 20:59:05 +0000 (20:59 +0000)]
More of objc2's ivar layout bitmap (Next: specific).
Work in progress.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66707
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 20:50:30 +0000 (20:50 +0000)]
Make sure that we set the access specifier for an instantiated FieldDecl, and that the aggregate and POD flags for an instantiated class template are updated based on instantiation of a FieldDecl
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66701
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 20:25:10 +0000 (20:25 +0000)]
Eliminate CXXClassMemberWrapper
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66698
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 20:22:50 +0000 (20:22 +0000)]
Eliminate CXXClassVarDecl. It doesn't add anything
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66696
91177308 -0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 11 Mar 2009 20:15:27 +0000 (20:15 +0000)]
Adjust for linkage name change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66691
91177308 -0d34-0410-b5e6-
96231b3b80d8
Steve Naroff [Wed, 11 Mar 2009 20:12:18 +0000 (20:12 +0000)]
Implement FIXME related to <rdar://problem/
6496506 > Implement class setter/getter for properties.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66689
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 18:59:21 +0000 (18:59 +0000)]
Implement basic template instantiation for fields. Reshuffle checking
for FieldDecls so that the parser and the template instantiation make
use of the same semantic checking module.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66685
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 18:20:33 +0000 (18:20 +0000)]
'-o' option now supports relative paths.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66680
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 18:17:16 +0000 (18:17 +0000)]
Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would
not be consulted for its size expression when operator* was called in the
StmtIterator (this resulted in an assertion failure).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66679
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Wed, 11 Mar 2009 16:48:53 +0000 (16:48 +0000)]
Add basic, hackish support for instantiation of typedefs in a class
template. More importantly, start to sort out the issues regarding
complete types and nested-name-specifiers, especially the question of:
when do we instantiate a class template specialization that occurs to
the left of a '::' in a nested-name-specifier?
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66662
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Wed, 11 Mar 2009 16:27:10 +0000 (16:27 +0000)]
Add parser support for static_assert.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66661
91177308 -0d34-0410-b5e6-
96231b3b80d8
Steve Naroff [Wed, 11 Mar 2009 15:15:01 +0000 (15:15 +0000)]
Fix <rdar://problem/
6655054 > clang issues bogus error on property usage in a dot-syntax.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66659
91177308 -0d34-0410-b5e6-
96231b3b80d8
Steve Naroff [Wed, 11 Mar 2009 13:48:17 +0000 (13:48 +0000)]
Fix <rdar://problem/
6578665 > user declared setter method should be used when using property syntx.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66658
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Wed, 11 Mar 2009 09:15:38 +0000 (09:15 +0000)]
This test case checks if we get the right rvalue type of a TypedViewRegion.
The ElementRegion's type depends on the array region's rvalue type. If it was
a pointer type, we would get a loc::SymbolVal for '*p'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66656
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Wed, 11 Mar 2009 09:10:39 +0000 (09:10 +0000)]
The RValueType of a TypedViewRegion should be the pointee type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66655
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Wed, 11 Mar 2009 09:07:35 +0000 (09:07 +0000)]
Do not stipulate the record type is a definition in BindStruct().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66654
91177308 -0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 11 Mar 2009 08:40:02 +0000 (08:40 +0000)]
Correct for change of this name in LLVM.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66652
91177308 -0d34-0410-b5e6-
96231b3b80d8
Zhongxing Xu [Wed, 11 Mar 2009 07:43:49 +0000 (07:43 +0000)]
Fix crash when LHS of pointer arithmetic is not ElementRegion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66649
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 06:11:39 +0000 (06:11 +0000)]
Update checker build.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66643
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 04:04:20 +0000 (04:04 +0000)]
RegionStore::getLValueElement: Handle the case where the signedness of the
offset may be different that the base. Ultimately we need a better solution for
these issues, but this point-by-point fixes are gradually outlining the scope of
the problem.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66638
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 04:03:24 +0000 (04:03 +0000)]
Add utility method to BasicValueFactory to convert an APSInt to one of a different sign.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66637
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 03:54:24 +0000 (03:54 +0000)]
GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66636
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 03:47:47 +0000 (03:47 +0000)]
Improve the "bad receiver" warning for ObjC message sends to be less confusing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66635
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:52:39 +0000 (02:52 +0000)]
Fix PR 3780: In one code path in BasicValueFactory::getValue() we would not
return an unsigned integer for a null pointer value.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66630
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:41:36 +0000 (02:41 +0000)]
GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66629
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:29:48 +0000 (02:29 +0000)]
SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic
values. Indicating this in 'canReasonAbout' allows GRExprEngine to recover
path-sensitivity in some cases.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66628
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:24:48 +0000 (02:24 +0000)]
GRExprEngine: For places we might conjure up a new symbol to recover
path-sensitivity, beyond checking to see if the value is "unknown" also check if
the ConstraintManager can handle the SVal. This allows us to recover some
path-sensitivity by actually discarding some information.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66627
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:23:48 +0000 (02:23 +0000)]
Add accessor method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66626
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:23:27 +0000 (02:23 +0000)]
Add accessor method to return a GRStateManager's internal ConstraintManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66625
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 02:22:59 +0000 (02:22 +0000)]
Added method "canReasonAbout" to ConstraintManager. This method returns true if
a ConstraintManager can usefully reason about the given SVal.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66624
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 01:42:29 +0000 (01:42 +0000)]
Display the exploded graph before calling BugReporter.FlushReports(). The latter
deletes all registered BugTypes from BugReporter, and thus we need to display
the graph first.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66623
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 01:41:22 +0000 (01:41 +0000)]
Use the BugReports in BugReporter to determine the root nodes for "trim-egraph".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66622
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 01:40:35 +0000 (01:40 +0000)]
Add some iterators to BugReporter.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66621
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Wed, 11 Mar 2009 01:37:02 +0000 (01:37 +0000)]
Use the right indentation
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66620
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 01:09:52 +0000 (01:09 +0000)]
Clear all the linetable state in clear(), fixing problems
with "clang t.i s.i" where the .i files contain line markers.
rdar://
6667812
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66619
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 00:23:13 +0000 (00:23 +0000)]
fix PR3258 by rejecting invalid numeric operands.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66618
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 11 Mar 2009 00:15:49 +0000 (00:15 +0000)]
Remove space-break that interrupts one string literal. This is fine in C, but not in TableGen files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66616
91177308 -0d34-0410-b5e6-
96231b3b80d8
Fariborz Jahanian [Wed, 11 Mar 2009 00:07:04 +0000 (00:07 +0000)]
More Next objc2's gc ivar layout bitmap work.
Work in progress.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66615
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 11 Mar 2009 00:06:36 +0000 (00:06 +0000)]
checking for symbolic operands as well as % at end of string.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66614
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Wed, 11 Mar 2009 00:06:15 +0000 (00:06 +0000)]
Fix typo.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66613
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 10 Mar 2009 23:57:07 +0000 (23:57 +0000)]
position the caret properly on asm string diagnostics, e.g.:
Sema/asm.c:64:9: error: invalid % escape in inline assembly string
asm("%!" : ); // expected-error {{invalid % escape in inline assembly string}}
~~^~
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66606
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 10 Mar 2009 23:51:40 +0000 (23:51 +0000)]
reject invalid escape characters in extended-asm strings with a nice diagnostic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66605
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Tue, 10 Mar 2009 23:50:58 +0000 (23:50 +0000)]
Driver: Add host info (add new files).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66604
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Tue, 10 Mar 2009 23:50:49 +0000 (23:50 +0000)]
Driver: Add host info (add new files).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66603
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Tue, 10 Mar 2009 23:43:53 +0000 (23:43 +0000)]
Add type checking for tentative definitions at the end of the
translation unit.
Thread the various declarations of variables via
VarDecl::getPreviousDeclaration.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66601
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Tue, 10 Mar 2009 23:41:59 +0000 (23:41 +0000)]
Driver: Add host info.
- Replace assorted -ccc-host-* options by -ccc-host-triple which is
more sane.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66600
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 10 Mar 2009 23:41:04 +0000 (23:41 +0000)]
add plumbing to report diagnostics back through sema for malformed asmstrings.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66598
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 10 Mar 2009 23:21:44 +0000 (23:21 +0000)]
move the asm string analysis code out of codegen into common
code where Sema can get to it. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66596
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Tue, 10 Mar 2009 21:58:27 +0000 (21:58 +0000)]
Partial fix for PR3310, concerning type-checking for tentative
definitions. We were rejecting tentative definitions of incomplete
(which is bad), and now we don't.
This fix is partial because we don't do the end-of-translation-unit
initialization for tentative definitions that don't ever have any
initializers specified.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66584
91177308 -0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 10 Mar 2009 21:30:26 +0000 (21:30 +0000)]
Emit super class debug info.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66580
91177308 -0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Tue, 10 Mar 2009 20:52:46 +0000 (20:52 +0000)]
Driver: Handle magic -ccc- options.
- Follows ccc currently, but this functionality should eventually be
outside the Driver lib.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66575
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Tue, 10 Mar 2009 20:44:00 +0000 (20:44 +0000)]
Extend the notion of active template instantiations to include the
context of a template-id for which we need to instantiate default
template arguments.
In the TextDiagnosticPrinter, don't suppress the caret diagnostic if
we are producing a non-note diagnostic that follows a note diagnostic
with the same location, because notes are (conceptually) a part of the
warning or error that comes before them.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66572
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Tue, 10 Mar 2009 18:52:44 +0000 (18:52 +0000)]
If we run into multiple errors within the same template instantiation,
only print the template instantiation backtrace for the first error.
Also, if a base class has failed to type-check during instantiation,
just drop that base class and continue on to check other base classes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66563
91177308 -0d34-0410-b5e6-
96231b3b80d8
Douglas Gregor [Tue, 10 Mar 2009 18:33:27 +0000 (18:33 +0000)]
Add pretty-printing for class template specializations, e.g.,
'struct A<double, int>'
In the "template instantiation depth exceeded" message, print
"-ftemplate-depth-N" rather than "-ftemplate-depth=N".
An unnamed tag type that is declared with a typedef, e.g.,
typedef struct { int x, y; } Point;
can be used as a template argument. Allow this, and check that we get
sensible pretty-printing for such things.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66560
91177308 -0d34-0410-b5e6-
96231b3b80d8