Ted Kremenek
63fc4352b6
Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerful
...
interface to plug in domain-specific checker logic than the current
GRSimpleAPICheck interface. The new 'Checker' interface can actually generate
new nodes, allowing it to modify the state and refine the analysis (which
GRSimpleAPIChecks could not).
llvm-svn: 76793
2009-07-22 21:42:34 +00:00
Ted Kremenek
2776079844
Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.
...
llvm-svn: 76792
2009-07-22 21:40:46 +00:00
Ted Kremenek
8a2cb9cede
Add 'PreStmt' program point. This will be used to represent checking for
...
preconditions (in GRExprEngine) before the statement itself is evaluated.
llvm-svn: 76791
2009-07-22 21:39:25 +00:00
Ted Kremenek
0af7e85bf7
Implement operator= for ExplodedNodeSet.
...
llvm-svn: 76790
2009-07-22 21:38:15 +00:00
Daniel Dunbar
5899dda08c
Switch some clients to Value::getName(), and other getName() user
...
simplification.
- NFC
llvm-svn: 76789
2009-07-22 21:33:09 +00:00
Douglas Gregor
d6605dbbc0
Fix the problems with template argument deduction and array types for
...
real. It turns out that we need to actually move all of the qualifiers
up to the array type itself, then recanonicalize the deduced template
argument type.
llvm-svn: 76788
2009-07-22 21:30:48 +00:00
Devang Patel
096ecf1bed
Fix indentation.
...
llvm-svn: 76787
2009-07-22 21:10:50 +00:00
Daniel Dunbar
99abb47dd6
Simplify some uses of Value::getName()
...
llvm-svn: 76786
2009-07-22 21:10:12 +00:00
Daniel Dunbar
4a6554006d
Define npos in a way that should make MSVC happier.
...
llvm-svn: 76785
2009-07-22 21:08:31 +00:00
Mike Stump
aa19375206
Make -Wreturn-type be part of -Wmost and therefore -Wall.
...
llvm-svn: 76784
2009-07-22 21:00:27 +00:00
Douglas Gregor
b77af8f4aa
Fix some memory allocation/deallocation issues
...
llvm-svn: 76783
2009-07-22 20:55:49 +00:00
Daniel Dunbar
0989a9a338
Remove unnecessary store to temporary std::string.
...
llvm-svn: 76782
2009-07-22 20:46:46 +00:00
David Greene
6e2eda1c8d
Put comment printing under asm-verbose.
...
llvm-svn: 76780
2009-07-22 20:33:26 +00:00
Eli Friedman
2729132ec3
Fix a nasty little use-after-free bug.
...
llvm-svn: 76779
2009-07-22 20:29:16 +00:00
Daniel Dunbar
ed1c14ba65
Fix indentation.
...
llvm-svn: 76778
2009-07-22 20:26:37 +00:00
Douglas Gregor
7ac44f4cfb
Canonicalize the types produced by template argument deduction.
...
llvm-svn: 76777
2009-07-22 20:25:36 +00:00
Fariborz Jahanian
f87fbc058d
Improved on performance of the algorithm for proper ordering of
...
ctor's initialization of bases and fields.
llvm-svn: 76776
2009-07-22 20:25:00 +00:00
David Greene
1e2a04ba99
Make some changes suggested by Bill and Evan.
...
llvm-svn: 76775
2009-07-22 20:08:25 +00:00
Douglas Gregor
b3a1fdc363
Slighty more testing for template argument deduction with array arguments
...
llvm-svn: 76774
2009-07-22 20:07:21 +00:00
Douglas Gregor
6045482792
Improve template argument deduction for array types, so that a parameter
...
const T
can be matched with, e.g.,
volatile int [5]
llvm-svn: 76773
2009-07-22 20:02:25 +00:00
Mike Stump
af6ab88979
Prep for new warning.
...
llvm-svn: 76772
2009-07-22 20:02:03 +00:00
Mike Stump
212005c1b4
Use isa instead of dyn_cast for conditionals.
...
llvm-svn: 76771
2009-07-22 18:58:19 +00:00
Devang Patel
06cceef545
Use DICompositeType->replaceAllUsesWith().
...
This requires llvm rev. 76769 or higher.
llvm-svn: 76770
2009-07-22 18:57:00 +00:00
Devang Patel
e85806f0d1
Fix thinko.
...
llvm-svn: 76769
2009-07-22 18:56:16 +00:00
Sanjiv Gupta
5200f046d5
Added -b option to override the default bitcode output file name.
...
llvm-svn: 76768
2009-07-22 18:41:45 +00:00
Devang Patel
75094f8e83
Use isa<> instead of dyn_cast<>.
...
llvm-svn: 76767
2009-07-22 18:35:25 +00:00
Douglas Gregor
8a27391190
"This patch implements the restrictions on union members detailed in
...
[class.union]p1", from John McCall!
llvm-svn: 76766
2009-07-22 18:25:24 +00:00
Devang Patel
f03c9bec63
Add replaceAllUsesWith() to FE replace debug info constructs while building complex types.
...
llvm-svn: 76765
2009-07-22 18:23:44 +00:00
Devang Patel
e171bc8ae5
Do not print "metadata" twice while printing MDString.
...
This fixes unittest failure.
llvm-svn: 76764
2009-07-22 18:10:23 +00:00
Devang Patel
75bec765c3
Remove empty test.
...
llvm-svn: 76763
2009-07-22 18:09:11 +00:00
Evan Cheng
1ec4396ee3
Eliminate a redudant check Eli pointed out.
...
llvm-svn: 76762
2009-07-22 18:08:05 +00:00
Sanjiv Gupta
8f3169cf4a
Fixed build warning. No functionality change.
...
llvm-svn: 76761
2009-07-22 17:58:47 +00:00
Ted Kremenek
f1282074c3
Move bug reporter "visitors" to their own file and make them part of the public
...
BugReporter API. No real functionality change.
llvm-svn: 76760
2009-07-22 17:55:28 +00:00
Devang Patel
7428d8acec
Introduce MetadataBase, a base class for MDString and MDNode.
...
Derive MDString directly from MetadataBase.
Introduce new bitcode block to hold metadata.
llvm-svn: 76759
2009-07-22 17:43:22 +00:00
Fariborz Jahanian
5c14ec30cd
Allocate BaseOrMemberInitializers and CXXBaseSpecifier nodes
...
via ASTContext.
llvm-svn: 76758
2009-07-22 17:41:53 +00:00
Douglas Gregor
b09f3d82cc
Implement parsing and semantic analysis for out-of-line definitions of static
...
data members of class templates. We don't instantiate the definitions yet,
however.
llvm-svn: 76756
2009-07-22 17:18:37 +00:00
Steve Naroff
3de6b70730
Fix a couple recent ABI regressions noticed during code review (fallout from the ObjC type system rewrite).
...
It's unfortunate that the mangling includes the low-level structs. Nevertheless, we need this for binary compatibility with GCC.
llvm-svn: 76755
2009-07-22 17:14:51 +00:00
Daniel Dunbar
e23388b25c
Support writing a StringRef to a raw_ostream directly.
...
llvm-svn: 76754
2009-07-22 17:13:20 +00:00
Eli Friedman
5173349565
Switch some functions from using x86 builtins to using vector
...
operations.
llvm-svn: 76753
2009-07-22 17:08:01 +00:00
Mike Stump
7a5eaf6dd4
Add some documentation, to make it so the next person doens't select
...
the wrong function. :-)
llvm-svn: 76752
2009-07-22 16:55:20 +00:00
Chris Lattner
d63f12373d
fix some wording problems Daniel pointed out, make a example actually real.
...
llvm-svn: 76751
2009-07-22 16:54:14 +00:00
Chris Lattner
637ca93fc4
doxygenify
...
llvm-svn: 76750
2009-07-22 16:53:56 +00:00
Chris Lattner
611a1883e5
fix typo noticed by Duncan
...
llvm-svn: 76747
2009-07-22 16:30:39 +00:00
Ryan Flynn
a845ef0be7
cast signed APInt constructor params to uint64_t to suppress signedness warning
...
llvm-svn: 76744
2009-07-22 16:17:36 +00:00
Steve Naroff
51d4f79ffa
Fix <rdar://problem/6770276> Support Class<Proto> syntax.
...
llvm-svn: 76741
2009-07-22 16:07:01 +00:00
Douglas Gregor
a3a4dd5d03
Test template instantiation for member functions of class templates defined
...
out of line.
llvm-svn: 76740
2009-07-22 15:45:39 +00:00
Duncan Sands
c0647b31ee
Add newline at end of file.
...
llvm-svn: 76736
2009-07-22 13:20:41 +00:00
Richard Osborne
4f7f19a7c0
Thread local globals don't require special handling by the linker and so can
...
be placed in the standard data / bss sections.
llvm-svn: 76735
2009-07-22 11:01:00 +00:00
Torok Edwin
23f730ab40
Remove a comment that was copy+pasted from the wrong place,
...
there is no MachineFunction here.
llvm-svn: 76734
2009-07-22 10:49:23 +00:00
Duncan Sands
0cf7f5d6d2
Revert commit 76707, it was breaking the llvm-gcc build
...
on linux platforms. The binutils assembler does not
recognize the "s" flag, see for example
http://sourceware.org/binutils/docs/as/Section.html
llvm-svn: 76733
2009-07-22 10:35:05 +00:00