]>
granicus.if.org Git - clang/log
Ted Kremenek [Sun, 24 Feb 2008 03:15:25 +0000 (03:15 +0000)]
In FileManager: use full paths to unique files and directories on Windows,
since inodes are bogus abstraction on that platform.
Patch by Argiris Kirtzidis!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47535
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Sat, 23 Feb 2008 07:32:49 +0000 (07:32 +0000)]
Minor code cleanup.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47530
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Sat, 23 Feb 2008 01:05:54 +0000 (01:05 +0000)]
Change encoding of TokenKind in IdentifierTable to be of type "unsigned"
instead of TokenKind because of signedness issues with MSVC and enums.
Patch from Argiris Kirtzidis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47515
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Sat, 23 Feb 2008 00:52:04 +0000 (00:52 +0000)]
Patch from Argiris Kirtzidis:
The patch fixes some debug assertions that the msvcrt throws:
1)
- if (isprint(value) && value < 256) {
+ if (value < 256 && isprint(value)) {
isprint() does an assertion check of its own for value < 256; check value before calling it to prevent it.
2)
- Stmt->Names.push_back(std::string(&data[0], data.size()));
+ if (data.size() == 0)
+ Stmt->Names.push_back(std::string());
+ else
+ Stmt->Names.push_back(std::string(&data[0], data.size()));
If data.size() == 0 then data[0] throws "out of range" assertion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47512
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 23:17:20 +0000 (23:17 +0000)]
Fixed horrid bug in LiveVariables analysis where we were only merging at
confluence points the liveness information for variables (Decls) and NOT
block-level expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47506
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 20:13:09 +0000 (20:13 +0000)]
Modified clang driver option -dump-live-variables to (optionally) use the
--analyze-function option to analyze specific functions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47498
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 20:00:31 +0000 (20:00 +0000)]
clang driver options --dump-cfg and --view-cfg now (optionally) use the
--analyze-function option to dump/view the CFGs of specific functions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47497
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 19:10:58 +0000 (19:10 +0000)]
When running the GRSimpleVals analysis, skip functions that do not
appear in a file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47491
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 18:41:59 +0000 (18:41 +0000)]
Punt on unifying symbolic lvalues. This won't be needed for many checkers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47489
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 00:54:56 +0000 (00:54 +0000)]
Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified
assumption logic for lval::DeclVal.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47466
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 00:42:36 +0000 (00:42 +0000)]
Bug fix: For transfer function for unary "!", compare the subexpression value
against '0' of the same bit-width.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47465
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 22 Feb 2008 00:34:10 +0000 (00:34 +0000)]
Bug fix in liveness: Only compute liveness information for VarDecls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47464
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 23:17:39 +0000 (23:17 +0000)]
Return "Unknown" when using the value of a function pointer whose value
is symbolic.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47463
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 22:08:33 +0000 (22:08 +0000)]
Regression fix: Handle binary operators where both the left and right
operands are symbolic lvalues.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47459
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 19:46:04 +0000 (19:46 +0000)]
Added transfer function support for dispatching to functions we don't know
about. The default logic is to invalidate the values of all values
passed-by-reference.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47456
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Thu, 21 Feb 2008 19:44:16 +0000 (19:44 +0000)]
add a test case
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47455
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Thu, 21 Feb 2008 19:30:49 +0000 (19:30 +0000)]
Handle __attribute__((annotate("string")))
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47451
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 19:30:14 +0000 (19:30 +0000)]
RemoveDeadBindings should now check for UninitalizedVal, as it is a now
an error to cast it to LVal.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47450
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 19:29:23 +0000 (19:29 +0000)]
Regression fix: Handle pointer arithmetic in unary ++/--.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47449
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 19:15:37 +0000 (19:15 +0000)]
Removed bogus assertions regard LValues binding to UnknownVal; they can
do so implicitly.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47447
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 19:10:12 +0000 (19:10 +0000)]
Remove incorrect casts from UnknownVal to NonLVal.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47446
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 18:46:24 +0000 (18:46 +0000)]
FIX: Promote the correct operand.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47445
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 18:43:30 +0000 (18:43 +0000)]
Simplified and generalized transfer function logic for casts, allowing
the transfer function to be invoked without an Expr* for the Cast operation.
Added implicit promotions to the transfer function logic for compound
assignments.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47444
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 18:15:29 +0000 (18:15 +0000)]
Added transfer function support for sizeof(void)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47443
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Thu, 21 Feb 2008 18:07:36 +0000 (18:07 +0000)]
Some const initializer tests for stuff I just committed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47442
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Thu, 21 Feb 2008 18:02:17 +0000 (18:02 +0000)]
Major cleanup of path-sensitive analysis engine and the current analysis
based on constant. prop. and limited symbolics.
- Renamed class: RValue -> RVal, LValue -> LVal, etc.
- Minor method renamings and interface cleanups.
- Tightened the RVal "type system" so that UninitializedVal and UnknownVal
cannot be cast to LVal or NonLVal. This forces these corner cases values
to be explicitly handled early before being dispatched to plug-in transfer
function logic.
- Major cleanup in the transfer function logic for binary and unary operators.
Still fixing some regressions, but we now explicitly handle Uninitialized
and Unknown values in a more rigorous way.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47441
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Thu, 21 Feb 2008 17:57:49 +0000 (17:57 +0000)]
Clean up constant implicit cast emission; fixes a few edge cases
invlolving implicit casts that cause both a decay to pointer type and a
type conversion.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47440
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Thu, 21 Feb 2008 17:45:41 +0000 (17:45 +0000)]
Fix brace-enclosed string initializers for char arrays. From pr2079,
ahtough I had the fix in my tree previously.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47439
91177308 -0d34-0410-b5e6-
96231b3b80d8
Gabor Greif [Thu, 21 Feb 2008 17:40:55 +0000 (17:40 +0000)]
Change variable name to Tq (from TQ)
because silly gcc 3.4.6 barfs on this
construct.
Type.h defines an "enum TQ", which makes
the parser to err.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47438
91177308 -0d34-0410-b5e6-
96231b3b80d8
Gabor Greif [Thu, 21 Feb 2008 16:29:08 +0000 (16:29 +0000)]
Added classes SolarisTargetInfo and
SolarisSparcV8TargetInfo to be able
to handle "sparc-" triple prefixes.
Please be aware that this is a minimal
kludge, that pretty much duplicates
the features of DarwinPowerPCTargetInfo,
and also incorrectly uses stuff from
the PPC namespace.
But in result "make test" now passes
a lot of tests, the notable exceptions
being the objc rewrite tests and
mandel.c.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47436
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 05:45:29 +0000 (05:45 +0000)]
implement codegen support for sizeof(void), fixing PR2080.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47429
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 01:42:41 +0000 (01:42 +0000)]
add some semantic checks for address spaces.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47423
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 01:32:57 +0000 (01:32 +0000)]
add a fixme.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47421
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 01:32:26 +0000 (01:32 +0000)]
Collect and build and process type attributes on pointers. For
example, we can now correctly build the type for things like:
_AS1 float * _AS2 *B;
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47420
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 01:08:11 +0000 (01:08 +0000)]
move some code, no other change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47419
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 01:07:18 +0000 (01:07 +0000)]
move type attribute processing into the creatively named ProcessTypeAttributes method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47418
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 21 Feb 2008 00:48:22 +0000 (00:48 +0000)]
Correctly handle address space qualifiers in declspecs. This
allows us to correctly handle stuff like:
_AS1 float *B;
and to reject stuff like:
_AS1 _AS2* x;
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47417
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 23:53:49 +0000 (23:53 +0000)]
move ConvertDeclSpecToType into Sema
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47415
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 23:25:22 +0000 (23:25 +0000)]
rename some methods.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47414
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 23:17:35 +0000 (23:17 +0000)]
Use getKind() in HandleDeclAttribute instead of decoding the string inline.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47413
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 23:14:47 +0000 (23:14 +0000)]
add a method to AttributeList that converts an identifier to an enum.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47412
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Wed, 20 Feb 2008 22:57:40 +0000 (22:57 +0000)]
Tabs are the enemy
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47410
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 22:04:11 +0000 (22:04 +0000)]
add some code that will be used to remove processed attrs from
declspec, it is currently nonfunctional though.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47405
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 21:40:32 +0000 (21:40 +0000)]
Change ConvertDeclSpecToType to break out of switch instead of
returning directly. This allows us to factor handling of _Complex.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47404
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Wed, 20 Feb 2008 20:55:12 +0000 (20:55 +0000)]
Alternate address spaces work:
rename QualType::getQualifiers to getCVRQualifiers.
Add some fixme's and clean up some code relevant to qualifiers.
Change ASQualType to contain a Type* instead of a QualType.
Any CVR qualifiers should be on the outer qual type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47398
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 20 Feb 2008 04:12:31 +0000 (04:12 +0000)]
Implemented transfer function logic for unary '+'
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47357
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Wed, 20 Feb 2008 04:02:35 +0000 (04:02 +0000)]
Placed transfer function logic for dereferences in its own method, while at
the same time clearing up some logic of how the unary '*' operator is processed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47356
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Tue, 19 Feb 2008 22:04:22 +0000 (22:04 +0000)]
Improve non-const initializer implementation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47347
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Tue, 19 Feb 2008 22:01:01 +0000 (22:01 +0000)]
Implement CodeGenModule::getMemSetFn method.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47346
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 20:53:37 +0000 (20:53 +0000)]
Added missing case in constant propagation logic for handling the Xor of
two concrete integer values.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47341
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 20:53:06 +0000 (20:53 +0000)]
Added special handling for UninitializedVals for the transfer function logic
for pointer dereferences.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47340
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 20:51:40 +0000 (20:51 +0000)]
Implemented "getType()" for symbolic values representing the "contents" of
another symbolic value.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47339
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Tue, 19 Feb 2008 19:27:31 +0000 (19:27 +0000)]
Simplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr method when
possible.
Fix mediabench/mpeg2/mpeg2dec test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47336
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 18:52:54 +0000 (18:52 +0000)]
Fixed transfer function for casts to always evaluate the effects of the
cast's subexpression even if the cast itself has no effect.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47335
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 18:47:04 +0000 (18:47 +0000)]
Added transfer function support for casting to "void".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47333
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Feb 2008 06:46:10 +0000 (06:46 +0000)]
fix the second half of PR2041: __restrict is ok in c90 mode, even if
restrict isn't.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47316
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 02:34:18 +0000 (02:34 +0000)]
Fixed bug classof() bug with RValues that could cause an UninitializedVal
or UnknownVal to be interpreted as an actual NonLValue/LValue.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47304
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 02:33:31 +0000 (02:33 +0000)]
For now, --grsimple skips analyzing functions in header files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47303
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 02:01:16 +0000 (02:01 +0000)]
Added back explicit state/node creation when visiting IntegerLiterals and
CharacterLiterals. This may not be a permanent solution; it doesn't cost that
much, however, to create a few additional states, and solves a whole bunch
of edge cases when handling ?, ||, and &&.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47299
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 01:44:53 +0000 (01:44 +0000)]
Added boilerplate transfer function support for CallExprs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47298
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Tue, 19 Feb 2008 01:11:03 +0000 (01:11 +0000)]
Allow ArraySubscriptExpr to be a base node for vector dereference. This
allows you to do things like
typedef __attribute__(( ocu_vector_type(4))) float float4;
float4 *x;
float y = x[0][2];
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47295
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 00:29:51 +0000 (00:29 +0000)]
Added FIXME for properly handling local arrays using symbolic LValues.
For now we just treat their values as "Unknown."
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47294
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Tue, 19 Feb 2008 00:22:37 +0000 (00:22 +0000)]
--grsimple now reports the number of nodes in the ExplodedGraph for
an analyzed function.
GRExprEngine now records stores to "uninitialized lvalues" (which are sinks in
the ExplodedGraph).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47293
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Tue, 19 Feb 2008 00:04:15 +0000 (00:04 +0000)]
A global without initializer must be emitted as weak.
Fix Olden/bh test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47292
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Mon, 18 Feb 2008 23:00:23 +0000 (23:00 +0000)]
Added "size()" and "empty()" methods to ExplodedGraphImpl.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47289
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Mon, 18 Feb 2008 22:57:02 +0000 (22:57 +0000)]
Added more assertions and checks in transfer function logic to check for
UninitializedVals and UnknownVals.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47288
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Mon, 18 Feb 2008 22:44:02 +0000 (22:44 +0000)]
Implement multi-dimension array initalizer.
Fix McCat/08-main test.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47286
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Mon, 18 Feb 2008 21:21:23 +0000 (21:21 +0000)]
Running -grsimple now emits diagnostics about the time spent analyzing each function. Will
probably make this a separate command line option later.
Added "--analyze-function" option to the driver to (gradually) allow different
analyses to only be run on specific functions. Currently only --grsimple uses
this option.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47285
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Mon, 18 Feb 2008 21:19:49 +0000 (21:19 +0000)]
Temporary solution to push analysis through to analyzing PCRE.
We will implement symbol "unification" later.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47284
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Mon, 18 Feb 2008 17:00:25 +0000 (17:00 +0000)]
Add more supported constraints.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47270
91177308 -0d34-0410-b5e6-
96231b3b80d8
Steve Naroff [Mon, 18 Feb 2008 15:14:59 +0000 (15:14 +0000)]
Tweak fix for http://llvm.org/bugs/show_bug.cgi?id=2000 to work across typedefs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47269
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Mon, 18 Feb 2008 07:13:09 +0000 (07:13 +0000)]
More bitfield improvements.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47260
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Mon, 18 Feb 2008 07:10:45 +0000 (07:10 +0000)]
Fix bug where we would report the wrong value for __alignof__ with an expr that is not a type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47259
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 17 Feb 2008 21:20:31 +0000 (21:20 +0000)]
Turn handling of parameter attributes back on, fixing the ObjC breakage
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47246
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 17 Feb 2008 21:04:23 +0000 (21:04 +0000)]
Revert this temporarily, it's breaking objc :/
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47245
91177308 -0d34-0410-b5e6-
96231b3b80d8
Nate Begeman [Sun, 17 Feb 2008 21:02:04 +0000 (21:02 +0000)]
Handle parameter attributes
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47243
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 17 Feb 2008 19:31:09 +0000 (19:31 +0000)]
Fix PR2042. One remaining issue: we don't currently diagnose
int foobar(int);
int foobar() {}
which requires ifdef'ing out a testcase in predefined-function.c.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47236
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sun, 17 Feb 2008 03:40:02 +0000 (03:40 +0000)]
Change alignment for doubles to 32 bits which is what X86 has.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47234
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Sun, 17 Feb 2008 00:59:11 +0000 (00:59 +0000)]
Implemnt isVariablyModifiedType correctly.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47233
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 16 Feb 2008 23:55:16 +0000 (23:55 +0000)]
implement codegen support for aggregates casted to void.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47226
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Sat, 16 Feb 2008 23:17:23 +0000 (23:17 +0000)]
A couple of msvc compile fixes from the ml; I haven't tested with msvc,
but the fixes are reasonable.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47224
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Sat, 16 Feb 2008 22:30:38 +0000 (22:30 +0000)]
Implement extern block var.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47223
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 19:51:36 +0000 (19:51 +0000)]
Add more tests
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47217
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 19:51:27 +0000 (19:51 +0000)]
Better handling of the aligned attribute.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47216
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 03:37:41 +0000 (03:37 +0000)]
More comments from Chris.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47210
91177308 -0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 16 Feb 2008 01:20:36 +0000 (01:20 +0000)]
Fix CheckEndOfDirective to diagnose lines that contain macros that expand to
zero tokens. This fixes PR2045, thanks to Neil for finding another
incredibly subtle corner case :)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47203
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 01:20:23 +0000 (01:20 +0000)]
Make sizeof and __alignof work correctly with packed structs.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47202
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Sat, 16 Feb 2008 01:12:31 +0000 (01:12 +0000)]
Further cleanup. Moved definitions for SymbolManager and ValueManager into
their own [.cpp;.h] files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47201
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 00:39:40 +0000 (00:39 +0000)]
Fix typo
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47199
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 00:29:18 +0000 (00:29 +0000)]
Handle packed attribute correctly
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47197
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Sat, 16 Feb 2008 00:24:09 +0000 (00:24 +0000)]
Address comments from Chris.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47195
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Fri, 15 Feb 2008 23:57:38 +0000 (23:57 +0000)]
Store attributes in a global hash map instead.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47193
91177308 -0d34-0410-b5e6-
96231b3b80d8
Anders Carlsson [Fri, 15 Feb 2008 23:30:50 +0000 (23:30 +0000)]
Store attributes in a global hash map instead.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47191
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 15 Feb 2008 23:15:23 +0000 (23:15 +0000)]
Refactored code for transfer functions for binary operators involving two LValues.
Fixed bug in transfer functions for sizeof(*); we were incorrectly evaluating to
a value of the wrong type.
Fixed bug in transfer functions for compound assignments where we did not properly
handle assignments involving dereferences of symbolic values.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47190
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Fri, 15 Feb 2008 22:36:38 +0000 (22:36 +0000)]
Set Ubuntu 7.10 c++ include path.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47186
91177308 -0d34-0410-b5e6-
96231b3b80d8
Lauro Ramos Venancio [Fri, 15 Feb 2008 22:35:25 +0000 (22:35 +0000)]
Add c++ to "inferlanguage"
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47185
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 15 Feb 2008 22:29:00 +0000 (22:29 +0000)]
Added transfer function support for conditional branches with a NULL condition (e.g., "for(;;)").
Fixed bug in transfer function for compound assignment operators when both operands where variables but had a non-pointer type (we fired an assertion).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47184
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 15 Feb 2008 22:09:30 +0000 (22:09 +0000)]
Simplified transfer function logic for ++/-- operators.
Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47183
91177308 -0d34-0410-b5e6-
96231b3b80d8
Ted Kremenek [Fri, 15 Feb 2008 22:04:52 +0000 (22:04 +0000)]
Added predicate function "UnaryOperator::isIncrementOp()".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47181
91177308 -0d34-0410-b5e6-
96231b3b80d8
Eli Friedman [Fri, 15 Feb 2008 19:53:52 +0000 (19:53 +0000)]
Don't call non-existent method... sorry about the spam; the fix seemed
trivial, but I forgot that method doesn't exist yet.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47175
91177308 -0d34-0410-b5e6-
96231b3b80d8