]> granicus.if.org Git - clang/log
clang
16 years agoadd parsing, ast building and pretty printing support for C++ throw expressions.
Chris Lattner [Tue, 26 Feb 2008 00:51:44 +0000 (00:51 +0000)]
add parsing, ast building and pretty printing support for C++ throw expressions.
Patch by Mike Stump!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47582 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFix PR2092 by making sure the sign of the enum value follows the
Chris Lattner [Tue, 26 Feb 2008 00:33:57 +0000 (00:33 +0000)]
Fix PR2092 by making sure the sign of the enum value follows the
sign of its type in the early exit case.  No testcase, because this
doesn't manifest as a failure.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47581 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agofix const correctness.
Chris Lattner [Tue, 26 Feb 2008 00:32:36 +0000 (00:32 +0000)]
fix const correctness.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47580 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFixed bug in CFG construction when a CompoundStmt ended with a NullStmt.
Ted Kremenek [Tue, 26 Feb 2008 00:22:58 +0000 (00:22 +0000)]
Fixed bug in CFG construction when a CompoundStmt ended with a NullStmt.
This caused the whole body to get dropped from the CFG.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47579 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoAdded FIXME.
Ted Kremenek [Tue, 26 Feb 2008 00:20:52 +0000 (00:20 +0000)]
Added FIXME.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47578 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoMinor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt
Ted Kremenek [Mon, 25 Feb 2008 22:28:54 +0000 (22:28 +0000)]
Minor bug fix in LiveVariables: don't "kill" decls referenced by a DeclStmt
that aren't VarDecls.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47572 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFix a little typo... per cfe-dev, this was apparently causing test
Eli Friedman [Mon, 25 Feb 2008 22:11:40 +0000 (22:11 +0000)]
Fix a little typo... per cfe-dev, this was apparently causing test
failures on OS X in some cases.  (Thank you valgrind.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47568 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoclarify comment, this is undefined behavior in any case, even if it only
Chris Lattner [Mon, 25 Feb 2008 21:38:21 +0000 (21:38 +0000)]
clarify comment, this is undefined behavior in any case, even if it only
bits VC++ right now.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47565 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agodoxygenify some comments.
Ted Kremenek [Mon, 25 Feb 2008 21:33:32 +0000 (21:33 +0000)]
doxygenify some comments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47564 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoBetter handling of calls to functions via function pointers.
Ted Kremenek [Mon, 25 Feb 2008 21:16:03 +0000 (21:16 +0000)]
Better handling of calls to functions via function pointers.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47562 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoconvert tabs to spaces, patch by Mike Stump!
Chris Lattner [Mon, 25 Feb 2008 21:04:36 +0000 (21:04 +0000)]
convert tabs to spaces, patch by Mike Stump!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47560 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoRevert an incorrect part of my previuos patch.
Lauro Ramos Venancio [Mon, 25 Feb 2008 19:08:51 +0000 (19:08 +0000)]
Revert an incorrect part of my previuos patch.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47553 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFix PR2086.
Lauro Ramos Venancio [Mon, 25 Feb 2008 19:03:15 +0000 (19:03 +0000)]
Fix PR2086.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47551 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFixed bug in RemoveDeadBindings when performing the mark-and-sweep over the
Ted Kremenek [Mon, 25 Feb 2008 18:56:23 +0000 (18:56 +0000)]
Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the
symbolic store: VarDecl's inserted into the sweep may not always bind to
anything; handle this special case just like bindings to uninitialized values.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47550 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoExpanded transfer function support for divide-by-zero checking to include
Ted Kremenek [Mon, 25 Feb 2008 18:42:54 +0000 (18:42 +0000)]
Expanded transfer function support for divide-by-zero checking to include
"remainder-by-zero" checking (operator '%').

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47549 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoAdded hack to transfer function logic to handle the case where a DeclRefExpr
Ted Kremenek [Mon, 25 Feb 2008 18:34:45 +0000 (18:34 +0000)]
Added hack to transfer function logic to handle the case where a DeclRefExpr
wrapping an EnumConstantDecl evaluates to an integer type that has a different
signedness than the APSInt stored in the EnumConstantDecl. Will file a Bugzilla
report.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47548 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoAdded transfer function support for checking for divide-by-zero errors.
Ted Kremenek [Mon, 25 Feb 2008 17:51:31 +0000 (17:51 +0000)]
Added transfer function support for checking for divide-by-zero errors.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47547 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoenable digraphs for C94, thanks to Neil for pointing this out.
Chris Lattner [Mon, 25 Feb 2008 04:01:39 +0000 (04:01 +0000)]
enable digraphs for C94, thanks to Neil for pointing this out.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47543 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoFix PR2090, a typo in digraph processing.
Chris Lattner [Sun, 24 Feb 2008 19:05:57 +0000 (19:05 +0000)]
Fix PR2090, a typo in digraph processing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47540 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoUpdate comment.
Chris Lattner [Sun, 24 Feb 2008 19:04:33 +0000 (19:04 +0000)]
Update comment.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47539 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoMove the initialization of SEL/objc_selector from Sema::Sema() to Sema::ActOnTranslat...
Steve Naroff [Sun, 24 Feb 2008 16:25:02 +0000 (16:25 +0000)]
Move the initialization of SEL/objc_selector from Sema::Sema() to Sema::ActOnTranslationUnitScope() and make sure the type/struct get inserted into the translation unit scope.

Bug submitted by David Chisnall (thanks!).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47538 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoTwo more Windows-related fixes:
Ted Kremenek [Sun, 24 Feb 2008 03:55:14 +0000 (03:55 +0000)]
Two more Windows-related fixes:

- More enum signeness bitfield fixes (MSVC treats enums as signed).

- Fixed in Lex/HeaderSearch.cpp an unsafe copy between two
  HeaderSearch::PerFileInfo entries in a common vector. The copy involved two
  calls to getFileInfo() within the assignment; these calls could have
  side-effects that enlarged the internal vector, and with MSVC this would
  invalidate one of the values in the assignment.

Patch by Argiris Kirtzidis!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47536 91177308-0d34-0410-b5e6-96231b3b80d8

16 years agoIn FileManager: use full paths to unique files and directories on Windows,
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

16 years agoMinor code cleanup.
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

16 years agoChange encoding of TokenKind in IdentifierTable to be of type "unsigned"
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

16 years agoPatch from Argiris Kirtzidis:
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

16 years agoFixed horrid bug in LiveVariables analysis where we were only merging at
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

16 years agoModified clang driver option -dump-live-variables to (optionally) use the
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

16 years agoclang driver options --dump-cfg and --view-cfg now (optionally) use the
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

16 years agoWhen running the GRSimpleVals analysis, skip functions that do not
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

16 years agoPunt on unifying symbolic lvalues. This won't be needed for many checkers.
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

16 years agoAdded "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified
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

16 years agoBug fix: For transfer function for unary "!", compare the subexpression value
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

16 years agoBug fix in liveness: Only compute liveness information for VarDecls.
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

16 years agoReturn "Unknown" when using the value of a function pointer whose value
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

16 years agoRegression fix: Handle binary operators where both the left and right
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

16 years agoAdded transfer function support for dispatching to functions we don't know
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

16 years agoadd a test case
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

16 years agoHandle __attribute__((annotate("string")))
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

16 years agoRemoveDeadBindings should now check for UninitalizedVal, as it is a now
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

16 years agoRegression fix: Handle pointer arithmetic in unary ++/--.
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

16 years agoRemoved bogus assertions regard LValues binding to UnknownVal; they can
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

16 years agoRemove incorrect casts from UnknownVal to NonLVal.
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

16 years agoFIX: Promote the correct operand.
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

16 years agoSimplified and generalized transfer function logic for casts, allowing
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

16 years agoAdded transfer function support for sizeof(void)
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

16 years agoSome const initializer tests for stuff I just committed.
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

16 years agoMajor cleanup of path-sensitive analysis engine and the current analysis
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

16 years agoClean up constant implicit cast emission; fixes a few edge cases
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

16 years agoFix brace-enclosed string initializers for char arrays. From pr2079,
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

16 years agoChange variable name to Tq (from TQ)
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

16 years agoAdded classes SolarisTargetInfo and
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

16 years agoimplement codegen support for sizeof(void), fixing PR2080.
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

16 years agoadd some semantic checks for address spaces.
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

16 years agoadd a fixme.
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

16 years agoCollect and build and process type attributes on pointers. For
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

16 years agomove some code, no other change.
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

16 years agomove type attribute processing into the creatively named ProcessTypeAttributes method.
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

16 years agoCorrectly handle address space qualifiers in declspecs. This
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

16 years agomove ConvertDeclSpecToType into Sema
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

16 years agorename some methods.
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

16 years agoUse getKind() in HandleDeclAttribute instead of decoding the string inline.
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

16 years agoadd a method to AttributeList that converts an identifier to an enum.
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

16 years agoTabs are the enemy
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

16 years agoadd some code that will be used to remove processed attrs from
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

16 years agoChange ConvertDeclSpecToType to break out of switch instead of
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

16 years agoAlternate address spaces work:
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

16 years agoImplemented transfer function logic for unary '+'
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

16 years agoPlaced transfer function logic for dereferences in its own method, while at
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

16 years agoImprove non-const initializer implementation.
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

16 years agoImplement CodeGenModule::getMemSetFn method.
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

16 years agoAdded missing case in constant propagation logic for handling the Xor of
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

16 years agoAdded special handling for UninitializedVals for the transfer function logic
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

16 years agoImplemented "getType()" for symbolic values representing the "contents" of
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

16 years agoSimplify aggregate initilizer implementation. Use the CodeGenModule::EmitConstantExpr...
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

16 years agoFixed transfer function for casts to always evaluate the effects of the
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

16 years agoAdded transfer function support for casting to "void".
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

16 years agofix the second half of PR2041: __restrict is ok in c90 mode, even if
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

16 years agoFixed bug classof() bug with RValues that could cause an UninitializedVal
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

16 years agoFor now, --grsimple skips analyzing functions in header files.
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

16 years agoAdded back explicit state/node creation when visiting IntegerLiterals and
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

16 years agoAdded boilerplate transfer function support for CallExprs.
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

16 years agoAllow ArraySubscriptExpr to be a base node for vector dereference. This
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

16 years agoAdded FIXME for properly handling local arrays using symbolic LValues.
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

16 years ago--grsimple now reports the number of nodes in the ExplodedGraph for
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

16 years agoA global without initializer must be emitted as weak.
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

16 years agoAdded "size()" and "empty()" methods to ExplodedGraphImpl.
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

16 years agoAdded more assertions and checks in transfer function logic to check for
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

16 years agoImplement multi-dimension array initalizer.
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

16 years agoRunning -grsimple now emits diagnostics about the time spent analyzing each function...
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

16 years agoTemporary solution to push analysis through to analyzing PCRE.
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

16 years agoAdd more supported constraints.
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

16 years agoTweak fix for http://llvm.org/bugs/show_bug.cgi?id=2000 to work across typedefs.
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

16 years agoMore bitfield improvements.
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

16 years agoFix bug where we would report the wrong value for __alignof__ with an expr that is...
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

16 years agoTurn handling of parameter attributes back on, fixing the ObjC breakage
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

16 years agoRevert this temporarily, it's breaking objc :/
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

16 years agoHandle parameter attributes
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

16 years agoFix PR2042. One remaining issue: we don't currently diagnose
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

16 years agoChange alignment for doubles to 32 bits which is what X86 has.
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