4301526e8d
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
...
OldCastRegion used), and the associated command line option
'-analyzer-store=old-basic-cast'.
llvm-svn: 77509
2009-07-29 21:43:22 +00:00
e82da999e9
Fixed test.
...
llvm-svn: 77506
2009-07-29 21:26:28 +00:00
4b12ed115a
Some refactoring of member access for
...
performace sake. Also added a test case.
llvm-svn: 77502
2009-07-29 20:41:46 +00:00
8e1433b370
Refactor base/member initializers, and construct them correctly in cases
...
with dependent types. Fixes PR4621 and PR4627.
llvm-svn: 77498
2009-07-29 19:44:27 +00:00
bb67b827d9
Patch to provide cast of objects in member access
...
excpression, if needed, and remove some ir-gen code
now unnencessary.
llvm-svn: 77490
2009-07-29 18:40:24 +00:00
3c6764cd3e
Add an XFAILed test case that currently crashes for RegionStore. This case will
...
be moved to misc-ps.m when it passes.
llvm-svn: 77486
2009-07-29 18:19:16 +00:00
70b943f206
Add another analyzer test case involving an OSAtomic function.
...
llvm-svn: 77485
2009-07-29 18:18:25 +00:00
63c4da01c8
Check for identical types in C++ catch expression. Patch by Erik Verbruggen.
...
llvm-svn: 77475
2009-07-29 17:15:45 +00:00
ab60c7f60b
Remove an obsolete kludge based on the previous, completely broken handling of function templates
...
llvm-svn: 77464
2009-07-29 16:15:53 +00:00
b55d8e914a
Test redefinition of class template partial specializations
...
llvm-svn: 77463
2009-07-29 16:13:25 +00:00
0004417e81
Use the new statement/expression profiling code to unique dependent
...
template arguments, as in template specialization types. This permits
matching out-of-line definitions of members for class templates that
involve non-type template parameters.
llvm-svn: 77462
2009-07-29 16:09:57 +00:00
53fcbb89f9
Remove an ObjC-specific XFAIL (and tweak test).
...
llvm-svn: 77454
2009-07-29 15:24:47 +00:00
85d9715c24
Fix <rdar://problem/7100524> regression: "error: incompatible operand types ('void *' and 'NSString *')".
...
Remove XFAIL from 'conditional-expr-4.m' test case (which would have caught this).
Also tweaked several aspects of the test to jive with the current type checking.
llvm-svn: 77453
2009-07-29 15:09:39 +00:00
955a067bdd
Make functional-style casts emit correct messages, and fix a crash-on-invalid.
...
llvm-svn: 77451
2009-07-29 13:50:23 +00:00
d97c26921a
Be sure to turn on -fblocks.
...
llvm-svn: 77406
2009-07-29 00:17:20 +00:00
bce7a27d22
Add support for -Wmissing-noreturn.
...
llvm-svn: 77391
2009-07-28 23:11:12 +00:00
3bf1ab48d3
Add noreturn support for blocks.
...
llvm-svn: 77377
2009-07-28 22:04:01 +00:00
a41d9dd1f1
Fix PR 4631. The compound initializers of unions were not being evaluated, which
...
could cause false positives if any the subexpressions had side-effects. These
initializers weren't evaluated because the StoreManager would need to handle
them, but that's an orthogonal problem of whether or not the StoreManager can
handle the binding.
llvm-svn: 77361
2009-07-28 20:46:55 +00:00
faf0c64d9d
Fix regression in attribute 'nonnull' checking when a transition node
...
was created but not added to the destination NodeSet. This fixes PR 4630.
llvm-svn: 77353
2009-07-28 19:24:31 +00:00
a399dfae19
More cleanup of data member access and then some.
...
llvm-svn: 77351
2009-07-28 18:54:57 +00:00
2706a55071
fix PR4633: cast to void should silence the 'unused expression' warning.
...
llvm-svn: 77344
2009-07-28 18:25:28 +00:00
d829eb65ff
this test crashes, disable it harder.
...
llvm-svn: 77342
2009-07-28 18:22:50 +00:00
5142fbd02e
More work toward data member access ir-gen.
...
llvm-svn: 77332
2009-07-28 17:38:28 +00:00
32d105d8d4
Add two more tests.
...
llvm-svn: 77330
2009-07-28 17:14:18 +00:00
8ce432e9eb
Add a template test that requires canonical expression comparison
...
llvm-svn: 77325
2009-07-28 16:39:54 +00:00
8945266f3d
Bounds checking for address spaces.
...
llvm-svn: 77303
2009-07-28 06:52:18 +00:00
0e0189d64d
Update for LLVM API change.
...
llvm-svn: 77267
2009-07-27 22:29:56 +00:00
31d9254f7a
Ensure we can work through typedefs.
...
llvm-svn: 77265
2009-07-27 22:25:19 +00:00
9e3b01f697
Add knowledge about _longjmp being noreturn.
...
llvm-svn: 77254
2009-07-27 21:45:16 +00:00
9a9e0c2b17
Add builtin knowledge about longjmp being noreturn. Add printing for
...
the noreturn attribute.
llvm-svn: 77253
2009-07-27 21:33:40 +00:00
e05f2ed478
Update for LLVM API change.
...
llvm-svn: 77249
2009-07-27 21:00:51 +00:00
8675976806
fix test (broken in r77224)
...
llvm-svn: 77241
2009-07-27 19:53:49 +00:00
ca6c875e47
Add noreturn for exit.
...
llvm-svn: 77237
2009-07-27 19:14:18 +00:00
b8aa9589bb
Tweak MultiTestRunner --path argument.
...
- Accept multiple values instead of embedding separator.
- Make sure this gets used when searching for 'clang' binary.
- Switch makefiles to using --path to stay in sync with cmake.
llvm-svn: 77234
2009-07-27 19:01:13 +00:00
ed873d6767
Prepare CMake regression testing for Daniel's upcoming fix to the test runner
...
llvm-svn: 77223
2009-07-27 18:31:49 +00:00
d612997e73
When instantiating a variable without an initializer, call
...
ActOnUninitializedDecl.
llvm-svn: 77211
2009-07-27 17:43:39 +00:00
cabdeb4932
Use the CGRecordLayoutBuilder even if there are no fields, because in C++ an empty class will have a padding byte.
...
llvm-svn: 77205
2009-07-27 17:10:54 +00:00
72fb384a65
Enable the new struct type builder now that the constant struct builder works. (The old code will still be there until we know that everything works well.
...
llvm-svn: 77190
2009-07-27 15:31:55 +00:00
b7130ed888
Enable the new constant struct builder by default. The old code is still in place but will be removed shortly. The new struct builder works on big endian systems.
...
llvm-svn: 77185
2009-07-27 05:54:15 +00:00
4ead0b9e1c
add bugzilla #
...
llvm-svn: 77183
2009-07-27 04:49:58 +00:00
21e0f895a1
Fix PR4624.
...
llvm-svn: 77176
2009-07-27 00:44:23 +00:00
e5dc8594ea
PR3575 - warn on declared variable or function attributes after a definition, which are currently ignored.
...
llvm-svn: 77095
2009-07-25 22:29:44 +00:00
8c5d7996e8
Add noreturn as a type attribute, handle printing for them and handle
...
calls to noreturn function pointers when CFG building.
llvm-svn: 77089
2009-07-25 21:26:53 +00:00
dedf1e4b1a
ir-gen for non-virtual base class initialization
...
in constructors.
llvm-svn: 77087
2009-07-25 21:12:28 +00:00
9f831dbbcd
Implement C++ semantics for C-style and functional-style casts. This regresses Clang extension conversions, like vectors, but allows conversions via constructors and conversion operators.
...
Add custom conversions to static_cast.
llvm-svn: 77076
2009-07-25 15:41:38 +00:00
605bd11311
MultiTestRunner: Make sure to point at src dir, for out of tree builds.
...
Factor out routine for executing the script commands.
llvm-svn: 77075
2009-07-25 15:26:08 +00:00
595c98729b
Make having no RUN line a failure.
...
Doug, please look at decltype-crash and instantiate-function-1.mm, I'm not sure
if they are actually testing the right thing / anything.
llvm-svn: 77070
2009-07-25 12:47:38 +00:00
b6372fa7bb
Remove TESTDIR initialization, MultiTestRunner can find the test dirs itself.
...
llvm-svn: 77069
2009-07-25 12:44:58 +00:00
6d8adef9a0
Remove empty tests, left over from an svn revert.
...
llvm-svn: 77068
2009-07-25 12:41:25 +00:00
14d9d2fb78
Disable this test: cxx-using-declaration.cpp
...
Something strange is going on here; this test randomly started failing after
unrelated changes to TestRunner.py (even though it runs the same
script).
Argiris or Doug, can one of you investigate?
llvm-svn: 77063
2009-07-25 11:55:03 +00:00
Ted Kremenek