0be8163fb6
Add support for the 'N' constraint.
...
llvm-svn: 48185
2008-03-10 22:37:16 +00:00
945a3b145a
Pass LangOptions to RewriteTest().
...
llvm-svn: 48172
2008-03-10 20:43:59 +00:00
4114219ac6
rewriter tests are darwin specific, don't run them on other platforms.
...
llvm-svn: 48168
2008-03-10 19:32:31 +00:00
89fc4d4af7
Fix "error: explicit template specialization cannot have a storage class"
...
with gcc 4.4, patch by Shantonu Sen!
llvm-svn: 48155
2008-03-10 17:06:40 +00:00
0d799d3957
Add some missing #includes for GCC mainline, patch by Shantonu Sen!
...
llvm-svn: 48153
2008-03-10 17:04:53 +00:00
afa02ed5fb
Add transfer function support for pointer arithmetic where the
...
increment/decrement operand is on the left side.
llvm-svn: 48144
2008-03-10 15:17:11 +00:00
242245d8ec
add comments about some simple optimizations that may become
...
more important if this api gets wider use.
llvm-svn: 48131
2008-03-10 06:20:22 +00:00
3e4683262e
implement simple support for arbitrary token lookahead. Change the
...
objc @try parser to use it, fixing a FIXME. Update the
objc-try-catch-1.m file to pass now that we get more reasonable
errors.
llvm-svn: 48129
2008-03-10 06:06:04 +00:00
a34cf6de66
More edge-case handling with using liveness information to prune dead state values.
...
llvm-svn: 48127
2008-03-10 04:45:00 +00:00
b73a43cc01
More cleanups with using the liveness analysis to removed dead symbols and
...
variables from the symbolic state. Now we keep a mapping from the predecessor
node of a statement and its cleaned state, and interpose an accessor
"GetState()" to return the cleaned state when the node is the predecessor node,
and the real state otherwise. This obviates problem of ever accidentally
cleaning the state more than once (thus blowing away new bindings by mistake).
llvm-svn: 48124
2008-03-10 04:11:42 +00:00
6c50479737
When processing the transfer function for a statement, evaluate
...
RemoveDeadBindings early because (1) it will always be called and (2) we can
dispatch to a plug-in transfer function that can evaluate the effect of dead
symbols (not yet added).
llvm-svn: 48114
2008-03-09 18:28:41 +00:00
2d063bef8b
Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into the
...
method. This paves the way for other alterations to RemoveDeadBindings that are
transparent to its callers.
llvm-svn: 48113
2008-03-09 18:05:48 +00:00
cfd8b19ef7
Bug fix in the transfer function for compound assignments: if the value
...
of the LHS expressions is Unknown, the value of the entire expression
does not evaluate to the RHS (as is the case with normal assignments).
llvm-svn: 48102
2008-03-09 08:12:37 +00:00
a3a96afb51
Handle the 'n' constraint
...
llvm-svn: 48091
2008-03-09 06:02:02 +00:00
6af064641f
Fix a ted-o
...
llvm-svn: 48089
2008-03-09 05:25:01 +00:00
ebe5c8520c
Fixed crash where SetBlkExpr would attempt to query the liveness data when
...
we weren't processing a statement within a basic block.
llvm-svn: 48087
2008-03-09 05:15:50 +00:00
d2d3441ddb
improve comment.
...
llvm-svn: 48083
2008-03-09 04:49:35 +00:00
f7ad82df8c
move PP::LookupFile from PPLexerChange -> PPDirectives.cpp
...
llvm-svn: 48082
2008-03-09 04:17:44 +00:00
e35109726c
Add PPLexerChange.cpp to the project.
...
llvm-svn: 48081
2008-03-09 04:14:55 +00:00
1eed734c9c
Move a bunch more code out of Preprocessor.cpp into PPLexerChange.cpp
...
llvm-svn: 48080
2008-03-09 04:10:46 +00:00
03ab156041
Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generated values to Block-Level Expressions).
...
llvm-svn: 48079
2008-03-09 03:30:59 +00:00
8962015386
split macro expansion support out of Preprocessor.cpp into PPMacroExpansion.cpp
...
Rename Directives.cpp -> PPDirectives.cpp since it implements part of the
Preprocessor class.
llvm-svn: 48078
2008-03-09 03:13:06 +00:00
aca747a34a
Propagate calling convention information to function declarations and CallInst
...
instructions.
llvm-svn: 48077
2008-03-09 03:09:36 +00:00
1d4000ba50
rename HandleEndOfMacro -> HandleEndOfTokenLexer
...
llvm-svn: 48076
2008-03-09 03:04:16 +00:00
7ff66fb91e
split the MacroArgs class out of TokenLexer.cpp/h into
...
MacroArgs.cpp/h
llvm-svn: 48075
2008-03-09 02:55:12 +00:00
d5917cef95
update documentation
...
llvm-svn: 48074
2008-03-09 02:27:26 +00:00
285c0c1150
rename some MacroExpander-related ivars to TokenLexer.
...
llvm-svn: 48073
2008-03-09 02:26:03 +00:00
5bb36002be
Rename MacroExpander.cpp/h -> TokenLexer.cpp/h
...
llvm-svn: 48072
2008-03-09 02:22:57 +00:00
95d72cdf0f
rename the MacroExpander class to TokenLexer. It handles both
...
token streams and macro lexing, so a more generic name is useful.
llvm-svn: 48071
2008-03-09 02:18:51 +00:00
d7daed1478
rename MacroTokens -> Tokens. When this is a token stream, there is no macro
...
involved.
llvm-svn: 48070
2008-03-09 02:07:49 +00:00
6127ae4cde
fix clang xcode build
...
llvm-svn: 48069
2008-03-09 01:55:39 +00:00
f64b352660
split preprocesor directive handling out of Preprocessor.cpp into Directives.cpp
...
llvm-svn: 48068
2008-03-09 01:54:53 +00:00
e4a6b18c2e
secondary targets are gone, simplify this.
...
llvm-svn: 48067
2008-03-09 01:36:43 +00:00
22ad07ca07
simplify triple processing code now that there can be only one arch specified.
...
llvm-svn: 48066
2008-03-09 01:35:13 +00:00
1e178ea988
be more quiet when building headers.
...
llvm-svn: 48065
2008-03-09 01:29:23 +00:00
a66222366e
add some comments.
...
llvm-svn: 48053
2008-03-08 09:00:55 +00:00
1df278669d
make float format handling more regular.
...
llvm-svn: 48052
2008-03-08 08:59:43 +00:00
7570e9c518
simplify all the type info accessors in TargeTInfo to return scalars,
...
which is simpler to use and provide.
llvm-svn: 48051
2008-03-08 08:52:55 +00:00
2dca6ff505
Fix a fixme by allowing pointers in different address spaces to have
...
different widths. Start simplifying TargetInfo accessor methods.
llvm-svn: 48050
2008-03-08 08:34:58 +00:00
c3a669ba63
eliminate the TargetInfoImpl stuff, simplifying the target implementations.
...
llvm-svn: 48049
2008-03-08 08:24:01 +00:00
a0c0c35190
eliminate ComputeWCharInfo.
...
llvm-svn: 48048
2008-03-08 08:07:34 +00:00
0440494b66
Increased worklist limit for GRSimpleVals.
...
llvm-svn: 48037
2008-03-07 22:59:32 +00:00
2bdd77696e
Added --trim-path-graph to the driver to trim paths from the ExplodedGraph
...
that are not related to error nodes.
Fixed bug where we did not detect some NULL dereferences.
Added "ExplodedGraph::Trim" to trim all nodes that cannot transitively reach
a set of provided nodes.
Fixed subtle bug in ExplodedNodeImpl where we could create predecessor
iterators that included the mangled "sink" bit. The better fix is to integrate
this bit into the void* for the wrapped State, not the NodeGroups representing
a node's predecessors and successors.
llvm-svn: 48036
2008-03-07 22:58:01 +00:00
6947a79d6b
Improved graph visualization of ExplodedGraphs to include source line and column
...
information.
llvm-svn: 48031
2008-03-07 20:57:30 +00:00
910e9de131
Renamed ValueManager to BasicValueFactory.
...
llvm-svn: 48025
2008-03-07 20:13:31 +00:00
be6bb8efac
Add new test
...
llvm-svn: 48018
2008-03-07 20:04:49 +00:00
0a6192cfb8
Add fastcall/stdcall attribute support
...
Generate CallingConv::Fast when fastcall attribute is present
llvm-svn: 48017
2008-03-07 20:04:22 +00:00
40bc74fde7
Refined divide-by-zero checking to distinguish between must and may
...
divide-by-zero errors.
llvm-svn: 48013
2008-03-07 19:04:53 +00:00
7bdd630334
Patch by Nuno Lopes:
...
Added more comments for code processing attribute "format".
Added more checks for corner cases, test cases, and warnings.
llvm-svn: 48011
2008-03-07 18:43:49 +00:00
3a8edd8536
fix typos
...
llvm-svn: 47995
2008-03-06 10:40:09 +00:00
Anders Carlsson