0cb6c4bdcc
Remove a completely unnecessary mkdir from the CMake build.
...
Clang has been getting along fine without this for quite some time.
llvm-svn: 159400
2012-06-29 00:45:57 +00:00
87dfb1d3fe
Add a missing common variable to the lit.site.cfg generation. This was
...
only used in the Clang tree, but it seems reasonable to support.
llvm-svn: 159399
2012-06-29 00:40:15 +00:00
8279aa7825
Switch Clang's CMake lit.site.cfg generation over to use the common
...
helpers rather than its own special-rolled code.
llvm-svn: 159398
2012-06-29 00:39:23 +00:00
42ee04d00a
[analyzer] Add a test that we are, in fact, doing a DFS on the ExplodedGraph.
...
Previously:
...the comment said DFS...
...the WorkList being instantiated said BFS...
...and the implementation was actually DFS...
...due to an unintentional change in 2010...
...and everything kept working anyway.
This fixes our std::deque implementation of BFS, but switches back to a
SmallVector-based implementation of DFS.
We should probably still investigate the ramifications of DFS vs. BFS,
especially for large functions (and especially when we hit our block path
limit), since this might completely change our memory use. It can also mask
some bugs and reveal others depending on when we halt analysis. But at least
we will not have this kind of little mistake creep in again.
llvm-svn: 159397
2012-06-29 00:33:10 +00:00
33fd523df1
Warn on self-assignment to member variables. PR13104.
...
llvm-svn: 159394
2012-06-28 23:53:12 +00:00
474112d82c
If the step value is a constant zero, the loop isn't going to terminate. Fixes
...
the assert reported in PR13228!
llvm-svn: 159393
2012-06-28 23:44:57 +00:00
2e6dea3928
<rdar://problem/11755446> Making sure to provide summaries for one more NSString subclass
...
llvm-svn: 159389
2012-06-28 23:05:43 +00:00
2f49284f12
make the verifier accept @llvm.donothing as the only intrinsic that can be invoked
...
While at it, merge 2 tests and FileCheckize them
llvm-svn: 159388
2012-06-28 22:57:00 +00:00
d162c91b1a
Thread safety analysis: support release() function on scoped
...
lockable objects.
llvm-svn: 159387
2012-06-28 22:42:48 +00:00
a71f0de454
When applying a template diff highlighting to a diagnostic message, remember
...
to reapply the bold formatting when needed.
llvm-svn: 159386
2012-06-28 22:39:03 +00:00
b97a4e8bc2
make simplifyCFG erase invokes to readonly/readnone functions
...
llvm-svn: 159385
2012-06-28 22:32:27 +00:00
9ac4661afa
make instcombine produce calls to llvm.donothing instead of a random intrinsic
...
llvm-svn: 159384
2012-06-28 22:31:24 +00:00
ec9653b363
add a new @llvm.donothing intrinsic that, well, does nothing, and teach CodeGen to ignore calls to it
...
llvm-svn: 159383
2012-06-28 22:30:12 +00:00
0271b32f00
Factor CXString out of Index.h
...
No functionnal or interface change. This is done to prepare the landing of
CompilationDatabase in libclang.
llvm-svn: 159382
2012-06-28 22:01:06 +00:00
9e55d74074
Fix template type diffing coloring (r159216) when forcing color output to a file (not a terminal)
...
Reviewed (over the shoulder) by Richard Trieu.
llvm-svn: 159381
2012-06-28 21:46:07 +00:00
1edf57639a
Support the use of "=delete" and "=default" with delayed template
...
parsing. Fixes <rdar://problem/11700604>.
llvm-svn: 159380
2012-06-28 21:43:01 +00:00
d9c8aace7b
objective-c rewriter: refactoring of rewriting of
...
objc_msgSend_stret() API. No functionality change.
llvm-svn: 159379
2012-06-28 21:20:35 +00:00
e0c10d8b86
'Promote' vector [su]int_to_fp should widen elements.
...
Teach vector legalization how to honor Promote for int to float
conversions. The code checking whether to promote the operation knew
to look at the operand, but the actual promotion code didn't. This
fixes that. The operand is promoted up via [zs]ext.
rdar://11762659
llvm-svn: 159378
2012-06-28 21:03:44 +00:00
30a2432682
[libclang] Don't bind a StringRef to a temporary std::string object.
...
It may end up pointing at garbage.
Fixes the MSVC debug build. rdar://11703319
llvm-svn: 159377
2012-06-28 21:03:08 +00:00
27747b57f9
Changed the formatting sequence of a curly brace to
...
the comment per code review feedback.
llvm-svn: 159376
2012-06-28 20:46:26 +00:00
b74220d64e
Regenerate.
...
llvm-svn: 159374
2012-06-28 20:35:00 +00:00
98d6da5f7c
Make the error message when we time out waiting for debugserver to reply to the qLaunchSuccess packet less cryptic.
...
<rdar://problem/11754744>
llvm-svn: 159373
2012-06-28 20:30:23 +00:00
b2f11986f8
Remove layering violation #include.
...
llvm-svn: 159372
2012-06-28 20:17:05 +00:00
46a72fb741
Dead code eliminate the massive hexagon builtin intrinsic supporting code.
...
The tablegen'd code does the same thing without this egregious duplication.
In my limited testing everything seems to work, however there can be
differences if the clang and llvm builtin definitions don't match.
llvm-svn: 159371
2012-06-28 20:08:55 +00:00
17523ebbff
Fix hexagon gcc builtin names to use '_' instead of '.'.
...
This way the generated GCC builtin to LLVM intrinsic converter
actually works.
llvm-svn: 159370
2012-06-28 20:08:47 +00:00
1571652af9
Only print a semicolon after "no known conversion for Nth argument" if there
...
is a following clause.
llvm-svn: 159369
2012-06-28 19:20:41 +00:00
8652ca8a6a
Now that we use the GCC builtin <-> llvm intrinsic, dead code eliminate the handwritten emitter.
...
The generated code uncovered an invalid prototype for __builtin_mips_shilo, fix it along the way.
llvm-svn: 159368
2012-06-28 19:10:01 +00:00
ae3c300625
Enable automatic GCC<->LLVM intrinsic translation for mips.
...
llvm-svn: 159367
2012-06-28 19:09:53 +00:00
07ce7d8fb5
Support MIPS DSP Rev1 intrinsics.
...
This patch was reviewed in the llvm-commits list by Jim Grosbach.
llvm-svn: 159366
2012-06-28 18:23:16 +00:00
a932bdfc1e
tsan: clear shadow for ucontext, because it's visible to user
...
llvm-svn: 159365
2012-06-28 18:20:50 +00:00
7f3bdb37da
Define MIPS DSP Rev1 intrinsics. That allows frontend to emit a correct IR.
...
This patch was reviewed in the llvm-commits list by Jim Grosbach.
llvm-svn: 159364
2012-06-28 18:20:28 +00:00
a7fb1dcd4b
Listen to the "--verbose" flag when running "crashlog" and if verbose is enabled, then dump full paths to source files and modules.
...
Changed much of the output that was coming out with "--verbose" over to use the new "--debug" flag.
llvm-svn: 159363
2012-06-28 18:10:14 +00:00
20351ea310
Fixed a logic error which stopped paths from being properly remapped.
...
llvm-svn: 159362
2012-06-28 18:09:12 +00:00
fa985a02ef
tsan: fix crashes if signal is caught during thread bootstrap or shutdown
...
llvm-svn: 159361
2012-06-28 18:07:46 +00:00
b27564af76
Compare the canonical types and document why we give up on the covariant case.
...
llvm-svn: 159360
2012-06-28 17:57:36 +00:00
6317bfb26a
mark operator new(std::nothrow) as noalias (aka __attribute__((malloc))
...
llvm-svn: 159359
2012-06-28 16:47:34 +00:00
ee3d99f6be
Warn on weak properties declared in protocols as well.
...
Previously this caused a crash, since protocols are not interfaces.
llvm-svn: 159357
2012-06-28 16:39:28 +00:00
181d67ecb1
MemoryBuiltins:
...
- recognize C++ new(std::nothrow) friends
- ignore ExtractElement and ExtractValue instructions in size/offset analysis (all easy cases are probably folded away before we get here)
- also recognize realloc as noalias
llvm-svn: 159356
2012-06-28 16:34:03 +00:00
5c8897d37d
Remove redundant check.
...
llvm-svn: 159355
2012-06-28 16:25:36 +00:00
df17d64881
Attaching comments to declarations: don't attach comments to implicit declarations.
...
llvm-svn: 159354
2012-06-28 16:19:39 +00:00
8650fb8e0e
make LazyValueInfo analyze the default case of switch statements (we know that in the default branch the value cannot be any of the switch cases)
...
llvm-svn: 159353
2012-06-28 16:13:37 +00:00
5020db2a8c
add ConstantRange::difference (to perform set difference/relative complement)
...
llvm-svn: 159352
2012-06-28 16:10:13 +00:00
debc71cea3
Disable devirtualization when we have covariant returns. I will open a bug
...
for tracking this.
llvm-svn: 159351
2012-06-28 15:11:39 +00:00
3b33c4ecf0
Don't devirtualize calls when we don't have the correct type of the this pointer
...
handy. It can be done, but we would have to build a derived-to-base cast
during codegen to compute the correct this pointer.
I will handle covariant returns next.
llvm-svn: 159350
2012-06-28 14:28:57 +00:00
92658b8149
Devirtualize DIScope and subclasses.
...
Nothing in here makes use of the virtuality.
llvm-svn: 159349
2012-06-28 14:25:45 +00:00
6b03aa1bf7
[ASan] fix the build - erase second main as we link all test sources together
...
llvm-svn: 159348
2012-06-28 13:44:27 +00:00
3fe0d4d9aa
[ASan] silence various warnings in cmake build of asan unit tests
...
llvm-svn: 159347
2012-06-28 13:12:07 +00:00
b4edab5a6b
[ASan] cmake support for running asan unit tests on Mac
...
llvm-svn: 159345
2012-06-28 12:19:52 +00:00
c387ca7bab
[asan] set a hard limit on the number of instructions instrumented pear each BB. This is (hopefully temporary) workaround for PR13225
...
llvm-svn: 159344
2012-06-28 09:34:41 +00:00
ecf5436e9c
[ASan] update cmake rules so that ASan unit tests can include googletest (and, hence, llvm) headers when they are built by fresh Clang
...
llvm-svn: 159343
2012-06-28 09:32:19 +00:00
Chandler Carruth