Douglas Gregor
43bc1a7483
CMake build support for libCIndex and c-index-test. The indexing tests
...
are now running properly from within CMake.
llvm-svn: 82755
2009-09-25 06:35:15 +00:00
Ted Kremenek
05e6f5b6e9
Turn on 'RegionStore' as the default store manager both for 'clang --analyze' and 'scan-build'. Leave 'BasicStore' as the default store manager in 'clang-cc'. While there are still known warts with RegionStore, it's ready to be tested by general users.
...
llvm-svn: 82752
2009-09-25 05:55:59 +00:00
Douglas Gregor
9e84d88d27
Hide clang-wpa executable behind a CMake variable so it won't be built by default
...
llvm-svn: 82751
2009-09-25 05:41:21 +00:00
Ted Kremenek
1947a7a338
Update checker build.
...
llvm-svn: 82749
2009-09-25 05:03:45 +00:00
Douglas Gregor
56751b5981
Fix checking for a null pointer constant when the expression itself is
...
value-dependent. Audit (and fixed) all calls to
Expr::isNullPointerConstant() to provide the correct behavior with
value-dependent expressions. Fixes PR5041 and a crash in libstdc++
<locale>.
In the same vein, properly compute value- and type-dependence for
ChooseExpr. Fixes PR4996.
llvm-svn: 82748
2009-09-25 04:25:58 +00:00
John McCall
6cb02c1d7e
Add a reduced test case for the weak ivar infinite recursion.
...
llvm-svn: 82747
2009-09-25 02:18:37 +00:00
Anders Carlsson
e1883100a3
Who would have thought that empty classes were so tricky? Handle cases where an empty virtual base class needs to be moved aside because it conflicts with the first field.
...
llvm-svn: 82746
2009-09-25 01:54:38 +00:00
John McCall
0cf155174e
Fix an infinite loop arising when trying to generate debug information
...
for a ObjC class with an ivar of weak self type.
llvm-svn: 82745
2009-09-25 01:40:47 +00:00
Anders Carlsson
4bf82141e7
Handle array fields that contain empty structs.
...
llvm-svn: 82744
2009-09-25 01:23:32 +00:00
Ted Kremenek
f694f421e1
Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.
...
llvm-svn: 82737
2009-09-25 00:18:15 +00:00
Anders Carlsson
6f95c705ea
More work on empty classes.
...
llvm-svn: 82736
2009-09-25 00:02:51 +00:00
Fariborz Jahanian
1f9ed58277
Fixed another code gen bug in objc's new write-barrier API.
...
llvm-svn: 82735
2009-09-25 00:00:20 +00:00
Anders Carlsson
6d2b6f49ce
Improve the record layout dumper.
...
llvm-svn: 82733
2009-09-24 23:50:42 +00:00
Douglas Gregor
5013a7e42d
When entering the scope of a declarator, make sure that the scope is
...
complete (or, possibly causing template instantiation).
Test this via some explicit specializations of member functions.
llvm-svn: 82732
2009-09-24 23:39:01 +00:00
John McCall
90d1c2df56
Make it really, really easy to change the alignment of Type (and ExtQuals).
...
llvm-svn: 82730
2009-09-24 23:30:46 +00:00
Douglas Gregor
3a923c2d37
WIP implementation of explicit function template specialization. This
...
first implementation recognizes when a function declaration is an
explicit function template specialization (based on the presence of a
template<> header), performs template argument deduction + ambiguity
resolution to determine which template is being specialized, and hooks
There are many caveats here:
- We completely and totally drop any explicitly-specified template
arguments on the floor
- We don't diagnose any of the extra semantic things that we should
diagnose.
- I haven't looked to see that we're getting the right linkage for
explicit specializations
On a happy note, this silences a bunch of errors that show up in
libstdc++'s <iostream>, although Clang still can't get through the
entire header.
llvm-svn: 82728
2009-09-24 23:14:47 +00:00
Douglas Gregor
9fb4bf4d57
Clean up the CodeCompletion testsuite's use of FileCheck
...
llvm-svn: 82726
2009-09-24 22:57:42 +00:00
Mike Stump
d2a3e61798
Fix 80-col violation.
...
llvm-svn: 82725
2009-09-24 22:31:14 +00:00
Fariborz Jahanian
7a95d72b10
Patch fixes a code gen. bug in generation of objc_assign_ivar
...
(objc GC's API).
llvm-svn: 82724
2009-09-24 22:25:38 +00:00
John McCall
86a69495a3
Update the PTH performance "script".
...
llvm-svn: 82718
2009-09-24 22:03:45 +00:00
Steve Naroff
a7753c492e
Add test for C-based indexing API, using FileCheck utility.
...
llvm-svn: 82706
2009-09-24 20:03:06 +00:00
John McCall
8ccfcb51ee
Refactor the representation of qualifiers to bring ExtQualType out of the
...
Type hierarchy. Demote 'volatile' to extended-qualifier status. Audit our
use of qualifiers and fix a few places that weren't dealing with qualifiers
quite right; many more remain.
llvm-svn: 82705
2009-09-24 19:53:00 +00:00
Chris Lattner
6d98ede7e8
wpa is an experiment, don't build it by default, it adds to build times due to everything it links in.
...
llvm-svn: 82704
2009-09-24 19:45:12 +00:00
Anders Carlsson
d934010557
Add a -dump-record-layouts argument to clang-cc.
...
llvm-svn: 82703
2009-09-24 18:54:49 +00:00
Ted Kremenek
0868eea3f0
When building CFGs, no longer reverse the statements in the CFGBlock. Instead
...
have the iterators and operator[] handle the traversal of statements, as they
are stored in reverse order. Tests show this has no real performance impact, but
it does simply the CFG construction logic and will make it slightly easier to
change the allocation strategy for CFGBlocks (as we have fewer copies).
llvm-svn: 82702
2009-09-24 18:45:41 +00:00
Daniel Dunbar
a5840dbcb5
cmake: Run tests with 'verbose' enabled by default, so that the failure is
...
visible in the log.
llvm-svn: 82688
2009-09-24 07:18:36 +00:00
Daniel Dunbar
c437eb831b
We no longer need anything from the llvm/test/Scripts dir.
...
llvm-svn: 82687
2009-09-24 06:31:08 +00:00
Ted Kremenek
1b40e5978f
Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs).
...
llvm-svn: 82686
2009-09-24 06:24:32 +00:00
Anders Carlsson
bb66bc8e84
More improvements with laying out empty bases.
...
llvm-svn: 82682
2009-09-24 05:21:31 +00:00
Daniel Dunbar
b3b1e53d33
Darwin/x86-32: Enumerated types and block pointer types in structures were not
...
handled correctly.
- <rdar://problem/7247671> Function arguments incorrect when function returns a
struct on i386 w/ llvm-g++ and clang
llvm-svn: 82681
2009-09-24 05:12:36 +00:00
Ted Kremenek
267e45adab
Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions
...
The issue was a discrepancy between how RegionStoreManager::Bind() and
RegionStoreManager::Retrieve() derived the "key" for the first element
of a symbolic region.
llvm-svn: 82680
2009-09-24 04:11:44 +00:00
Anders Carlsson
f24b18fb06
More work on empty classes.
...
llvm-svn: 82679
2009-09-24 03:22:10 +00:00
Anders Carlsson
6522b05db7
Scaffolding for supporting empty bases/fields.
...
llvm-svn: 82678
2009-09-24 03:13:30 +00:00
Ted Kremenek
d9120d3575
Shorten the static analyzer diagnostic for 'use of garbage value'.
...
llvm-svn: 82672
2009-09-24 00:44:26 +00:00
Fariborz Jahanian
20327b0422
Use Doug's DeclLoc to pinpoint location of the declaration
...
in a reference initialization diagnostic.
llvm-svn: 82671
2009-09-24 00:42:43 +00:00
Douglas Gregor
c809cc2efa
Improve diagnostic location information when checking the initialization of a reference
...
llvm-svn: 82666
2009-09-23 23:04:10 +00:00
Douglas Gregor
96ab942a69
Make C++ temporary-related expressions provide proper source-range information.
...
llvm-svn: 82665
2009-09-23 22:51:26 +00:00
Fariborz Jahanian
9ce90d13e3
patch to ir-gen conversion function call used in
...
initializing a reference class.
llvm-svn: 82664
2009-09-23 22:34:00 +00:00
Douglas Gregor
e412a5a8f7
For code completion, note that injected-class-names found as part of
...
lookup in a member access expression always start a
nested-name-specifier. Additionally, rank names that start
nested-name-specifiers after other names.
llvm-svn: 82663
2009-09-23 22:26:46 +00:00
Fariborz Jahanian
71130ca141
Remove the FIXME as I said.
...
llvm-svn: 82650
2009-09-23 20:56:34 +00:00
Fariborz Jahanian
af0262dccf
This patch addresses a few issues related to 8.5.3 [dcl.init.ref]
...
It uses a recent API to find inherited conversion functions to do
the initializer to reference lvalue conversion (and removes a FIXME).
It issues the ambiguity diagnostics when multiple conversions are found.
WIP.
llvm-svn: 82649
2009-09-23 20:55:32 +00:00
Steve Naroff
f99203abd0
Some minor cleanups...
...
llvm-svn: 82646
2009-09-23 20:00:53 +00:00
Anders Carlsson
649a17e861
Handle namespace aliases.
...
llvm-svn: 82644
2009-09-23 19:19:16 +00:00
Anders Carlsson
f771681e63
Emit new[] cookie when needed.
...
llvm-svn: 82642
2009-09-23 18:59:48 +00:00
Steve Naroff
76b8f13fcb
More work to enable more exhaustive testing of the indexing API.
...
Next step: Add actual some test cases:-)
llvm-svn: 82636
2009-09-23 17:52:52 +00:00
Anders Carlsson
b4bd0666d2
Basic support for new[].
...
llvm-svn: 82628
2009-09-23 16:07:23 +00:00
Douglas Gregor
2a920014d3
When code-completion after a "," is building an overload set, note
...
that there is one more argument (the one following the comma) and make
the candidate non-viable if the function cannot accept any argument in
that position.
llvm-svn: 82625
2009-09-23 14:56:09 +00:00
Torok Edwin
9c9630aa88
The test/ directory needs to be created always when building objdir != srcdir,
...
because the toplevel 'make check-all' needs the rule for test/lit.site.cfg,
and for that test/ must exist.
llvm-svn: 82624
2009-09-23 14:23:05 +00:00
Gabor Greif
a8f9374661
fix typo in file name
...
llvm-svn: 82623
2009-09-23 13:15:04 +00:00
Daniel Dunbar
3e7a723fef
Factor Windows target into VS, MinGW and Cygwin variants.
...
- Patch by John Thompson!
llvm-svn: 82621
2009-09-23 07:31:35 +00:00
Chris Lattner
d545ad1301
implement support for __builtin_eh_return_data_regno on x86-32 and x86-64.
...
This implements PR5034 and rdar://6836445.
llvm-svn: 82614
2009-09-23 06:06:36 +00:00
Chris Lattner
f47afd707e
return a bool value as a bool
...
llvm-svn: 82613
2009-09-23 05:39:46 +00:00
Anders Carlsson
d49844b715
Add a new variant of EmitCXXAggrConstructorCall that takes a Value that holds the number of elements to construct, to be used when implementing new[].
...
llvm-svn: 82602
2009-09-23 02:45:36 +00:00
Ted Kremenek
1624a4784a
Fix PR 4988 by removing an invalid assertion (a function can be referenced in
...
GRExprEngine::VisitDeclRefExpr without 'asLValue' being true).
llvm-svn: 82598
2009-09-23 01:30:01 +00:00
Fariborz Jahanian
21ccf06352
Produce detailed diagnostics when overload
...
resolution failed to select a candidate due to
ambiguity in type conversion function selection.
llvm-svn: 82596
2009-09-23 00:58:07 +00:00
Anders Carlsson
aa01b91f9b
Fix indentation in xcode project.
...
llvm-svn: 82595
2009-09-23 00:37:50 +00:00
Anders Carlsson
8ab20bb144
Cast the array size expr to a size_t
...
llvm-svn: 82594
2009-09-23 00:37:25 +00:00
Douglas Gregor
f0f51985a1
Print the results of code-completion for overloading by displaying the
...
signature of the function with the current parameter highlighted as a
placeholder.
llvm-svn: 82593
2009-09-23 00:34:09 +00:00
Douglas Gregor
05f477c177
Separate the code-completion results for call completion from the
...
results for other, textual completion. For call completion, we now
produce enough information to show the function call argument that we
are currently on.
llvm-svn: 82592
2009-09-23 00:16:58 +00:00
Douglas Gregor
64b12b5ee7
Make sure we don't try to add code-completion results without an
...
active shadow map.
llvm-svn: 82588
2009-09-22 23:31:26 +00:00
Douglas Gregor
2b3ee156fc
When code-completion finds a declaration only because it is usable as
...
the start of a nested-name-specifier, add the "::" after the
nested-name-specifier to the code-completion string.
llvm-svn: 82587
2009-09-22 23:22:24 +00:00
Douglas Gregor
5bf52697b0
Tweak the code-completion results ranking and formation, so that
...
members found in base classes have the same ranking as members found
in derived classes. However, we will introduce an informative note for
members found in base classes, showing (as a nested-name-specifier)
the qualification to name the base class, to make it clear which
members are from bases.
llvm-svn: 82586
2009-09-22 23:15:58 +00:00
Anders Carlsson
cc52f65500
Move codegen of new and delete to CGCXXExpr.cpp
...
llvm-svn: 82585
2009-09-22 22:53:17 +00:00
Mike Stump
17abe2a620
Remove now fixed FIXME.
...
llvm-svn: 82584
2009-09-22 22:31:44 +00:00
Daniel Dunbar
5564ba743f
Push "clang-is-production" logic up to tools/driver, and make it hittable by
...
defining the CLANG_IS_PRODUCTION Makefile variable.
llvm-svn: 82583
2009-09-22 22:31:13 +00:00
Daniel Dunbar
81fff1c358
Spell clang-cc correctly.
...
llvm-svn: 82582
2009-09-22 22:30:59 +00:00
Douglas Gregor
292b68699d
Add getDeclaration()/getKind() accessors to CodeCompleteConsumer::Result
...
llvm-svn: 82581
2009-09-22 22:11:38 +00:00
Anders Carlsson
8c978b4fc2
No need to null check implicit lvalue cast exprs.
...
llvm-svn: 82580
2009-09-22 22:00:46 +00:00
Anders Carlsson
8fef09cd80
When doing a derived-to-base class and the class offset is 0 we can just do a simple bitcast.
...
llvm-svn: 82579
2009-09-22 21:58:22 +00:00
Daniel Dunbar
03184798c3
Reconcile Clang/ARM target data string with llvm-gcc (module eabi weirdness).
...
llvm-svn: 82578
2009-09-22 21:44:58 +00:00
Douglas Gregor
ba4490399b
Teach code-completion to introduce a ", ..." placeholder for variadic functions
...
llvm-svn: 82577
2009-09-22 21:42:17 +00:00
Douglas Gregor
9bfc2e50a7
In C++, a variadic function does not need an ellipsis prior to the comma. Parse it in both C and C++, but diagnose it as an error in C with a fix-it hint to add the comma.
...
llvm-svn: 82576
2009-09-22 21:41:40 +00:00
Ted Kremenek
3003001a86
Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored
...
llvm-svn: 82575
2009-09-22 21:19:14 +00:00
Douglas Gregor
ea9b03e6e2
Replace the -code-completion-dump option with
...
-code-completion-at=filename:line:column
which performs code completion at the specified location by truncating
the file at that position and enabling code completion. This approach
makes it possible to run multiple tests from a single test file, and
gives a more natural command-line interface.
llvm-svn: 82571
2009-09-22 21:11:38 +00:00
Anders Carlsson
1d3b6f62df
CXXMethodDecls should always be mangled, even if they are inside an extern "C" block. Fixes PR5017.
...
llvm-svn: 82567
2009-09-22 20:33:31 +00:00
Fariborz Jahanian
f0647a5fbc
Code refactoring and cleanup.
...
llvm-svn: 82566
2009-09-22 20:24:30 +00:00
Fariborz Jahanian
0b51c729c9
Issue good ambiguity diagnostic when convesion fails.
...
llvm-svn: 82565
2009-09-22 19:53:15 +00:00
Steve Naroff
66af1aecdb
- Implement support for various types of "refs" (initially to help test clang_getCursor()).
...
- Add missing prototypes for dispose functions.
llvm-svn: 82564
2009-09-22 19:25:29 +00:00
Anders Carlsson
55640546e4
If we already set a primary base, don't set it to the first nearly empty base class.
...
llvm-svn: 82563
2009-09-22 19:16:59 +00:00
Anders Carlsson
3dc237390f
Fix speling error.
...
llvm-svn: 82562
2009-09-22 19:15:56 +00:00
Anders Carlsson
96cff1fc10
Explicitly initialize the PrimaryBase and PrimaryBaseWasVirtual members.
...
llvm-svn: 82560
2009-09-22 18:21:58 +00:00
Mike Stump
865715442e
Yes.
...
llvm-svn: 82559
2009-09-22 17:38:02 +00:00
Anders Carlsson
e7ceb85b0d
(With Doug's help) fix a crash in the code completion code that lead to a test failure.
...
llvm-svn: 82558
2009-09-22 17:29:51 +00:00
Anders Carlsson
fc51cc968b
Don't assert that linkage decls are always C++, it's not true. Fixes PR5019.
...
llvm-svn: 82557
2009-09-22 17:23:30 +00:00
Fariborz Jahanian
e983d17570
Fix a regression in accessing class getter using the dot-syntax
...
notation. There is still an issue accessing field of a 'Class''s isa
in legacy code using dot field access notation (as noted in the test case)
but unrelated to this patch.
llvm-svn: 82555
2009-09-22 16:48:37 +00:00
Douglas Gregor
cabea40ea3
Implement code completion within a function call, triggered after the
...
opening parentheses and after each comma. We gather the set of visible
overloaded functions, perform "partial" overloading based on the set
of arguments that we have thus far, and return the still-viable
results sorted by the likelihood that they will be the best candidate.
Most of the changes in this patch are a refactoring of the overloading
routines for a function call, since we needed to separate out the
notion of building an overload set (common to code-completion and
normal semantic analysis) and then what to do with that overload
set. As part of this change, I've pushed explicit template arguments
into a few more subroutines.
There is still much more work to do in this area. Function templates
won't be handled well (unless we happen to deduce all of the template
arguments before we hit the completion point), nor will overloaded
function-call operators or calls to member functions.
llvm-svn: 82549
2009-09-22 15:41:20 +00:00
Daniel Dunbar
e22adaebf5
Spell function pointer correctly.
...
llvm-svn: 82543
2009-09-22 10:19:04 +00:00
Daniel Dunbar
79327b6efe
Always execute tests internally on Windows.
...
llvm-svn: 82542
2009-09-22 10:08:03 +00:00
Daniel Dunbar
3967fca364
CMake: Add a clang-c++tests target for running the experimental C++ header
...
-fsyntax-only'ing tests.
llvm-svn: 82541
2009-09-22 10:07:55 +00:00
Daniel Dunbar
95d5a1d240
Add safe part of previous (reverted) commit, necessary to update to LLVM API change.
...
llvm-svn: 82540
2009-09-22 10:06:21 +00:00
Daniel Dunbar
b879c3c125
Revert "Switch a few clients over to StringLiteral::getString.", this is breaking some projects, but I don't have a test case yet.
...
llvm-svn: 82539
2009-09-22 10:03:52 +00:00
Daniel Dunbar
b45012dcde
Update PCH serialization of FunctionDecl flags.
...
llvm-svn: 82526
2009-09-22 05:38:14 +00:00
Daniel Dunbar
2d925ebd0a
Allow PCH files to be read from stdin.
...
llvm-svn: 82525
2009-09-22 05:38:01 +00:00
Daniel Dunbar
b5cbf77c2e
Remove old test runner, this has moved to LLVM/utils/lit and all known clients
...
have been updated.
- Please let me know of any problems.
llvm-svn: 82524
2009-09-22 05:16:02 +00:00
Ted Kremenek
f9539d0c3f
Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated
...
llvm-svn: 82523
2009-09-22 04:48:39 +00:00
Daniel Dunbar
0512647362
Force triple in test.
...
llvm-svn: 82519
2009-09-22 03:50:39 +00:00
Ted Kremenek
ece8524474
Update checker build.
...
llvm-svn: 82518
2009-09-22 03:38:38 +00:00
Daniel Dunbar
5de27daf93
Switch a few clients over to StringLiteral::getString.
...
- Switching all of them out-of-my-current-scope-of-interest, sorry.
llvm-svn: 82515
2009-09-22 03:27:52 +00:00
Daniel Dunbar
362178883c
Add StringLiteral::getString -> StringRef.
...
llvm-svn: 82514
2009-09-22 03:27:33 +00:00
Anders Carlsson
8143069417
Store the set of indirect primary bases directly in the record layout builder.
...
llvm-svn: 82513
2009-09-22 03:02:06 +00:00