Argyrios Kyrtzidis [Wed, 22 Jul 2009 23:13:42 +0000 (23:13 +0000)]
Change Preprocessor to keep a copy of LangOptions instead of reference, like ASTContext.
Now when creating a Preprocessor we can pass it a temporary LangOptions object instead of having to remember to keep it around.
llvm-svn: 76815
Mike Stump [Wed, 22 Jul 2009 22:56:04 +0000 (22:56 +0000)]
Improve CFG support for C++ throw expressions.
llvm-svn: 76814
Mike Stump [Wed, 22 Jul 2009 22:55:09 +0000 (22:55 +0000)]
Prep for new warning.
llvm-svn: 76813
Dan Gohman [Wed, 22 Jul 2009 22:45:50 +0000 (22:45 +0000)]
Add new keywords to the vim syntax highlighting.
llvm-svn: 76812
Dan Gohman [Wed, 22 Jul 2009 22:45:30 +0000 (22:45 +0000)]
Add new optimization keywords to the polygen grammar.
llvm-svn: 76811
Dan Gohman [Wed, 22 Jul 2009 22:44:56 +0000 (22:44 +0000)]
Rename the new unsigned and signed keywords to nuw and nsw,
which stand for no-unsigned-wrap and no-signed-wrap.
llvm-svn: 76810
Ted Kremenek [Wed, 22 Jul 2009 22:35:28 +0000 (22:35 +0000)]
Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.
Educate GRExprEngine::VisitGraph() about 'PreStmt'.
Mark the constructor of 'PostStmt' to be explicit, preventing implicit
conversions and the selection of the wrong 'generateNode' method in
GRStmtNodeBuilder.
Constify a bunch of arguments, which falls out of the changes to ProgramPoint.
llvm-svn: 76809
David Greene [Wed, 22 Jul 2009 22:32:19 +0000 (22:32 +0000)]
Reorder if-else branches as suggested by Bill.
llvm-svn: 76808
Eli Friedman [Wed, 22 Jul 2009 22:25:00 +0000 (22:25 +0000)]
Slight code reorganization to allow instantiating post-inc/dec.
llvm-svn: 76807
David Goodwin [Wed, 22 Jul 2009 22:24:31 +0000 (22:24 +0000)]
Fix typo in addrmode definition.
llvm-svn: 76806
Dan Gohman [Wed, 22 Jul 2009 22:08:31 +0000 (22:08 +0000)]
Add -march=ppc32 lines so that this test doesn't ever default to ppc64.
llvm-svn: 76805
Douglas Gregor [Wed, 22 Jul 2009 22:05:02 +0000 (22:05 +0000)]
Calls to Sema::MatchTemplateParametersToScopeSpecifier should not depend on the order of evaluation of their arguments to be correct.
llvm-svn: 76804
Evan Cheng [Wed, 22 Jul 2009 22:03:29 +0000 (22:03 +0000)]
Use getTargetConstant instead of getConstant since it's meant as an constant operand.
llvm-svn: 76803
Dan Gohman [Wed, 22 Jul 2009 22:02:42 +0000 (22:02 +0000)]
Make the grep line in this test more specific, to avoid
unintended matches.
llvm-svn: 76802
David Greene [Wed, 22 Jul 2009 21:56:14 +0000 (21:56 +0000)]
Constify the key in Mi2IndexMap.
llvm-svn: 76801
Ted Kremenek [Wed, 22 Jul 2009 21:52:10 +0000 (21:52 +0000)]
Use SaveAndRestore in 'clang/Analysis/Support/SaveAndRestore.h'
llvm-svn: 76800
Evan Cheng [Wed, 22 Jul 2009 21:51:42 +0000 (21:51 +0000)]
Ignore undef uses.
llvm-svn: 76799
Ted Kremenek [Wed, 22 Jul 2009 21:51:00 +0000 (21:51 +0000)]
Add AssumeDual method.
llvm-svn: 76798
Ted Kremenek [Wed, 22 Jul 2009 21:46:56 +0000 (21:46 +0000)]
Migrate the path-sensitive checking of 'nonnull' arguments over to the new
'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.
llvm-svn: 76797
Eli Friedman [Wed, 22 Jul 2009 21:45:50 +0000 (21:45 +0000)]
Fix the parsing of default arguments for inline member function
definitions.
I'm not very familiar with this code, so please review.
llvm-svn: 76796
Ted Kremenek [Wed, 22 Jul 2009 21:45:16 +0000 (21:45 +0000)]
Make 'SaveAndRestore' and friends reusable classes in libAnalysis.
llvm-svn: 76795
Ted Kremenek [Wed, 22 Jul 2009 21:43:51 +0000 (21:43 +0000)]
Add support for registering 'Checker' objects with GRExprEngine.
Add a 'previsit' stage (that dispatches to registered Checkers) when evaluating the effects of CallExprs.
llvm-svn: 76794
Ted Kremenek [Wed, 22 Jul 2009 21:42:34 +0000 (21:42 +0000)]
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
Ted Kremenek [Wed, 22 Jul 2009 21:40:46 +0000 (21:40 +0000)]
Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.
llvm-svn: 76792
Ted Kremenek [Wed, 22 Jul 2009 21:39:25 +0000 (21:39 +0000)]
Add 'PreStmt' program point. This will be used to represent checking for
preconditions (in GRExprEngine) before the statement itself is evaluated.
llvm-svn: 76791
Ted Kremenek [Wed, 22 Jul 2009 21:38:15 +0000 (21:38 +0000)]
Implement operator= for ExplodedNodeSet.
llvm-svn: 76790
Daniel Dunbar [Wed, 22 Jul 2009 21:33:09 +0000 (21:33 +0000)]
Switch some clients to Value::getName(), and other getName() user
simplification.
- NFC
llvm-svn: 76789
Douglas Gregor [Wed, 22 Jul 2009 21:30:48 +0000 (21:30 +0000)]
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
Devang Patel [Wed, 22 Jul 2009 21:10:50 +0000 (21:10 +0000)]
Fix indentation.
llvm-svn: 76787
Daniel Dunbar [Wed, 22 Jul 2009 21:10:12 +0000 (21:10 +0000)]
Simplify some uses of Value::getName()
llvm-svn: 76786
Daniel Dunbar [Wed, 22 Jul 2009 21:08:31 +0000 (21:08 +0000)]
Define npos in a way that should make MSVC happier.
llvm-svn: 76785
Mike Stump [Wed, 22 Jul 2009 21:00:27 +0000 (21:00 +0000)]
Make -Wreturn-type be part of -Wmost and therefore -Wall.
llvm-svn: 76784
Douglas Gregor [Wed, 22 Jul 2009 20:55:49 +0000 (20:55 +0000)]
Fix some memory allocation/deallocation issues
llvm-svn: 76783
Daniel Dunbar [Wed, 22 Jul 2009 20:46:46 +0000 (20:46 +0000)]
Remove unnecessary store to temporary std::string.
llvm-svn: 76782
David Greene [Wed, 22 Jul 2009 20:33:26 +0000 (20:33 +0000)]
Put comment printing under asm-verbose.
llvm-svn: 76780
Eli Friedman [Wed, 22 Jul 2009 20:29:16 +0000 (20:29 +0000)]
Fix a nasty little use-after-free bug.
llvm-svn: 76779
Daniel Dunbar [Wed, 22 Jul 2009 20:26:37 +0000 (20:26 +0000)]
Fix indentation.
llvm-svn: 76778
Douglas Gregor [Wed, 22 Jul 2009 20:25:36 +0000 (20:25 +0000)]
Canonicalize the types produced by template argument deduction.
llvm-svn: 76777
Fariborz Jahanian [Wed, 22 Jul 2009 20:25:00 +0000 (20:25 +0000)]
Improved on performance of the algorithm for proper ordering of
ctor's initialization of bases and fields.
llvm-svn: 76776
David Greene [Wed, 22 Jul 2009 20:08:25 +0000 (20:08 +0000)]
Make some changes suggested by Bill and Evan.
llvm-svn: 76775
Douglas Gregor [Wed, 22 Jul 2009 20:07:21 +0000 (20:07 +0000)]
Slighty more testing for template argument deduction with array arguments
llvm-svn: 76774
Douglas Gregor [Wed, 22 Jul 2009 20:02:25 +0000 (20:02 +0000)]
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
Mike Stump [Wed, 22 Jul 2009 20:02:03 +0000 (20:02 +0000)]
Prep for new warning.
llvm-svn: 76772
Mike Stump [Wed, 22 Jul 2009 18:58:19 +0000 (18:58 +0000)]
Use isa instead of dyn_cast for conditionals.
llvm-svn: 76771
Devang Patel [Wed, 22 Jul 2009 18:57:00 +0000 (18:57 +0000)]
Use DICompositeType->replaceAllUsesWith().
This requires llvm rev. 76769 or higher.
llvm-svn: 76770
Devang Patel [Wed, 22 Jul 2009 18:56:16 +0000 (18:56 +0000)]
Fix thinko.
llvm-svn: 76769
Sanjiv Gupta [Wed, 22 Jul 2009 18:41:45 +0000 (18:41 +0000)]
Added -b option to override the default bitcode output file name.
llvm-svn: 76768
Devang Patel [Wed, 22 Jul 2009 18:35:25 +0000 (18:35 +0000)]
Use isa<> instead of dyn_cast<>.
llvm-svn: 76767
Douglas Gregor [Wed, 22 Jul 2009 18:25:24 +0000 (18:25 +0000)]
"This patch implements the restrictions on union members detailed in
[class.union]p1", from John McCall!
llvm-svn: 76766
Devang Patel [Wed, 22 Jul 2009 18:23:44 +0000 (18:23 +0000)]
Add replaceAllUsesWith() to FE replace debug info constructs while building complex types.
llvm-svn: 76765
Devang Patel [Wed, 22 Jul 2009 18:10:23 +0000 (18:10 +0000)]
Do not print "metadata" twice while printing MDString.
This fixes unittest failure.
llvm-svn: 76764
Devang Patel [Wed, 22 Jul 2009 18:09:11 +0000 (18:09 +0000)]
Remove empty test.
llvm-svn: 76763
Evan Cheng [Wed, 22 Jul 2009 18:08:05 +0000 (18:08 +0000)]
Eliminate a redudant check Eli pointed out.
llvm-svn: 76762
Sanjiv Gupta [Wed, 22 Jul 2009 17:58:47 +0000 (17:58 +0000)]
Fixed build warning. No functionality change.
llvm-svn: 76761
Ted Kremenek [Wed, 22 Jul 2009 17:55:28 +0000 (17:55 +0000)]
Move bug reporter "visitors" to their own file and make them part of the public
BugReporter API. No real functionality change.
llvm-svn: 76760
Devang Patel [Wed, 22 Jul 2009 17:43:22 +0000 (17:43 +0000)]
Introduce MetadataBase, a base class for MDString and MDNode.
Derive MDString directly from MetadataBase.
Introduce new bitcode block to hold metadata.
llvm-svn: 76759
Fariborz Jahanian [Wed, 22 Jul 2009 17:41:53 +0000 (17:41 +0000)]
Allocate BaseOrMemberInitializers and CXXBaseSpecifier nodes
via ASTContext.
llvm-svn: 76758
Douglas Gregor [Wed, 22 Jul 2009 17:18:37 +0000 (17:18 +0000)]
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
Steve Naroff [Wed, 22 Jul 2009 17:14:51 +0000 (17:14 +0000)]
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
Daniel Dunbar [Wed, 22 Jul 2009 17:13:20 +0000 (17:13 +0000)]
Support writing a StringRef to a raw_ostream directly.
llvm-svn: 76754
Eli Friedman [Wed, 22 Jul 2009 17:08:01 +0000 (17:08 +0000)]
Switch some functions from using x86 builtins to using vector
operations.
llvm-svn: 76753
Mike Stump [Wed, 22 Jul 2009 16:55:20 +0000 (16:55 +0000)]
Add some documentation, to make it so the next person doens't select
the wrong function. :-)
llvm-svn: 76752
Chris Lattner [Wed, 22 Jul 2009 16:54:14 +0000 (16:54 +0000)]
fix some wording problems Daniel pointed out, make a example actually real.
llvm-svn: 76751
Chris Lattner [Wed, 22 Jul 2009 16:53:56 +0000 (16:53 +0000)]
doxygenify
llvm-svn: 76750
Chris Lattner [Wed, 22 Jul 2009 16:30:39 +0000 (16:30 +0000)]
fix typo noticed by Duncan
llvm-svn: 76747
Ryan Flynn [Wed, 22 Jul 2009 16:17:36 +0000 (16:17 +0000)]
cast signed APInt constructor params to uint64_t to suppress signedness warning
llvm-svn: 76744
Steve Naroff [Wed, 22 Jul 2009 16:07:01 +0000 (16:07 +0000)]
Fix <rdar://problem/6770276> Support Class<Proto> syntax.
llvm-svn: 76741
Douglas Gregor [Wed, 22 Jul 2009 15:45:39 +0000 (15:45 +0000)]
Test template instantiation for member functions of class templates defined
out of line.
llvm-svn: 76740
Duncan Sands [Wed, 22 Jul 2009 13:20:41 +0000 (13:20 +0000)]
Add newline at end of file.
llvm-svn: 76736
Richard Osborne [Wed, 22 Jul 2009 11:01:00 +0000 (11:01 +0000)]
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
Torok Edwin [Wed, 22 Jul 2009 10:49:23 +0000 (10:49 +0000)]
Remove a comment that was copy+pasted from the wrong place,
there is no MachineFunction here.
llvm-svn: 76734
Duncan Sands [Wed, 22 Jul 2009 10:35:05 +0000 (10:35 +0000)]
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
Eli Friedman [Wed, 22 Jul 2009 08:12:59 +0000 (08:12 +0000)]
Don't give a massive inlining cost bonus to available_externally
functions with a single use; eliminating the single use may eliminate
the function from the current module, but usually doesn't eliminate
it from the final program.
llvm-svn: 76730
Evan Cheng [Wed, 22 Jul 2009 06:46:53 +0000 (06:46 +0000)]
Don't forget D16 - D31 are clobbered by calls and sjlj eh.
llvm-svn: 76729
Evan Cheng [Wed, 22 Jul 2009 06:37:28 +0000 (06:37 +0000)]
Add R12 to the list of registers clobbered by 16-bit Thumb calls as a pre-caution. r12 could be live once we have mixed 32-bit and 16-bit instructions.
llvm-svn: 76728
Evan Cheng [Wed, 22 Jul 2009 06:12:40 +0000 (06:12 +0000)]
Fix a obvious copy-n-paste bug.
llvm-svn: 76727
Eli Friedman [Wed, 22 Jul 2009 06:07:16 +0000 (06:07 +0000)]
Make vectorized floating-point comparisons work without crashing.
llvm-svn: 76726
Evan Cheng [Wed, 22 Jul 2009 05:55:18 +0000 (05:55 +0000)]
Get rid one of the getRegisterNumbering. Also add D16 - D31.
llvm-svn: 76725
Chris Lattner [Wed, 22 Jul 2009 05:43:01 +0000 (05:43 +0000)]
remove Bill from the author list: his contribution (describing llvm::Ostream
and friends) has been removed awhile ago.
llvm-svn: 76724
Chris Lattner [Wed, 22 Jul 2009 05:40:54 +0000 (05:40 +0000)]
add some more topics to the coding standards doc:
* Use Early Exits and 'continue' to Simplify Code
* Turn Predicate Loops into Predicate Functions
* Spaces Before Parentheses
* Namespace Indentation
* Anonymous Namespaces
llvm-svn: 76723
Eli Friedman [Wed, 22 Jul 2009 05:06:41 +0000 (05:06 +0000)]
Attempt to fix BuildBot breakage with MSVC.
llvm-svn: 76722
Ted Kremenek [Wed, 22 Jul 2009 04:38:22 +0000 (04:38 +0000)]
Restructure ProgramPoint to have the 'Kind' value be its own instance
variable. This gives us much more flexibility with defining more
ProgramPoints, which is the direction we are heading. The removal of
various bit-mangling of pointers also cleans up the logic.
llvm-svn: 76721
Ted Kremenek [Wed, 22 Jul 2009 04:35:42 +0000 (04:35 +0000)]
Temporarily disable most use of region casts in RegionStoreManager,
instead preferring to use the a region's actual type when creating
symbols and using the QualType passed to Retrieve for implicit
casting. This preprocessor logic is temporary; eventually we will
either remove region casts or keep them.
Temporarily toggle (via preprocessor directives) that SymbolicRegions
with heap storage are not undefined, but instead should be
symbolicated. If we want to model that a SymbolicRegion is
uninitialized, we can explicitly model that by binding UndefinedVal to
that region. It turns out that we want to treat most heap objects as
being defined, not the other way around.
llvm-svn: 76720
Ted Kremenek [Wed, 22 Jul 2009 04:23:20 +0000 (04:23 +0000)]
Fix a crasher in StoreManager::InvalidateRegion() caused by using the
'cast type' of a region to invalidate its binding. This only occurs
when using RegionStoreManager, as it records the cast type. I'm
currently considering removing the notion of a cast type (see
comments in code).
llvm-svn: 76719
Chris Lattner [Wed, 22 Jul 2009 04:21:40 +0000 (04:21 +0000)]
fix some formatting stuff, patch by Edward O'Callaghan!
llvm-svn: 76718
Mon P Wang [Wed, 22 Jul 2009 03:08:17 +0000 (03:08 +0000)]
Preserve address space information through member accesses, e.g.,
__attribute__((address_space(1))) struct {int arr[ 3 ]; } *p1;
... = p1->arr[2]; // load from address space 1
llvm-svn: 76717
Mike Stump [Wed, 22 Jul 2009 01:39:14 +0000 (01:39 +0000)]
Remove an unneeded header.
llvm-svn: 76716
Eric Christopher [Wed, 22 Jul 2009 01:11:48 +0000 (01:11 +0000)]
Remove intrinsic support for __builtin_ia32_vec_set_v16qi and
__builtin_ia32_vec_set_v4si as these should be lowered in the
front-end to inserts.
llvm-svn: 76714
Eli Friedman [Wed, 22 Jul 2009 01:06:52 +0000 (01:06 +0000)]
Add support for MMX VSETCC.
llvm-svn: 76713
Sean Callanan [Wed, 22 Jul 2009 01:05:20 +0000 (01:05 +0000)]
Added the unconditional JMP with an 8-bit relocation for the
assembler / disassembler.
llvm-svn: 76712
Evan Cheng [Wed, 22 Jul 2009 00:58:27 +0000 (00:58 +0000)]
Add an entry.
llvm-svn: 76711
Chris Lattner [Wed, 22 Jul 2009 00:47:11 +0000 (00:47 +0000)]
inline the two MergeableConstSection implementations into their
only caller.
llvm-svn: 76710
Mike Stump [Wed, 22 Jul 2009 00:43:08 +0000 (00:43 +0000)]
Prep for new warning.
llvm-svn: 76709
Fariborz Jahanian [Wed, 22 Jul 2009 00:42:46 +0000 (00:42 +0000)]
Minor mod. per Doug's comment.
llvm-svn: 76708
Chris Lattner [Wed, 22 Jul 2009 00:41:56 +0000 (00:41 +0000)]
set the ELF "small" flag on objects that end up in .rodata.cst4 consistently,
updating a mips testcase to expect it.
llvm-svn: 76707
Chris Lattner [Wed, 22 Jul 2009 00:30:39 +0000 (00:30 +0000)]
don't set the small flag yet.
llvm-svn: 76706
Chris Lattner [Wed, 22 Jul 2009 00:28:43 +0000 (00:28 +0000)]
remove the SelectSectionForMachineConst hook, replacing it with
a new getSectionForMergableConstant hook. This removes one dependence
of TAI on Type, and provides the hook with enough info to make the
right decision based on whether the global has relocations etc.
llvm-svn: 76705
Douglas Gregor [Wed, 22 Jul 2009 00:28:09 +0000 (00:28 +0000)]
Complain if we're entering the context of a dependent nested-name-specifier but
cannot match that nested-name-specifier to a class template or class template
partial specialization.
llvm-svn: 76704
Evan Cheng [Wed, 22 Jul 2009 00:25:27 +0000 (00:25 +0000)]
Let each target determines whether a machine instruction is dead. If true, that allows late codeine passes to delete it.
This is considered a workaround. The problem is some targets are not modeling side effects correctly. PPC is apparently one of those. This patch allows ppc llvm-gcc to bootstrap on Darwin. Once we find out which instruction definitions are wrong, we can remove the PPCInstrInfo workaround.
llvm-svn: 76703
Owen Anderson [Wed, 22 Jul 2009 00:24:57 +0000 (00:24 +0000)]
Get rid of the Pass+Context magic.
llvm-svn: 76702