summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Remove #include<map> from LiveVariables.h. Not referenced.Evan Cheng2008-04-023-2/+3
| | | | llvm-svn: 49099
* properly handle array decay in objc message exprs.Chris Lattner2008-04-021-4/+4
| | | | llvm-svn: 49098
* improve error to be something end users will actually understand :)Chris Lattner2008-04-022-3/+3
| | | | llvm-svn: 49097
* Cosmetic changes per EH patch review feedback.Dale Johannesen2008-04-023-8/+8
| | | | llvm-svn: 49096
* Added path-sensitive null dereference test case.Ted Kremenek2008-04-021-0/+6
| | | | llvm-svn: 49095
* More wording cleanups in --help text.Ted Kremenek2008-04-021-9/+7
| | | | llvm-svn: 49094
* More wording fixes.Ted Kremenek2008-04-021-3/+3
| | | | llvm-svn: 49093
* Added error message for unrecognized options.Ted Kremenek2008-04-021-1/+3
| | | | llvm-svn: 49092
* Wording cleanups.Ted Kremenek2008-04-021-2/+2
| | | | llvm-svn: 49091
* Implemented "-k" support.Ted Kremenek2008-04-021-2/+10
| | | | llvm-svn: 49090
* Do equality testing, not regex, when the build command is gcc. This matchesTed Kremenek2008-04-021-1/+1
| | | | | | | | better with what compiler invocations that ccc-analyzer actually intercepts. Fixes suggested by Sam Bishop! llvm-svn: 49089
* Add new file Support/DataFlow.h.Torok Edwin2008-04-021-0/+104
| | | | | | It allows Use-Def and Def-Use relations to be treated as graphs. llvm-svn: 49088
* Two changes to Sema::LookupDecl() interface. Steve Naroff2008-04-027-55/+35
| | | | | | | | | | | (1) Remove IdLoc (it's never used). (2) Add a bool to enable/disable lazy builtin creaation (defaults to true). This enables us to use LookupDecl() in Sema::isTypeName(), which is also part of this commit. To make this work, I changed isTypeName() to be a non-const member function. I'm not happy with this, however I fiddled with making LookupDecl() and friends const and it got ugly pretty quickly. We can certainly add it back if/when someone has time to fiddle with it. For now, I thought this simplification was more important than retaining the const-ness. llvm-svn: 49087
* Beginning of some cleanups; start generating path diagnostics using objectsTed Kremenek2008-04-021-119/+152
| | | | | | that describe a bug. llvm-svn: 49086
* Minor wording changes.Ted Kremenek2008-04-021-1/+1
| | | | llvm-svn: 49085
* Embed "DESC" tag in HTML reports.Ted Kremenek2008-04-021-0/+10
| | | | llvm-svn: 49084
* Added "description" field to PathDiagnostic.Ted Kremenek2008-04-021-1/+8
| | | | llvm-svn: 49083
* Various parts of the standard require something to be an "incomplete or Chris Lattner2008-04-023-14/+19
| | | | | | | | object type". Add a predicate that checks exactly this, as it is equivalent to checking ot see if the type is *not* a function type, which is faster to check. llvm-svn: 49082
* 1) Enforce C99 6.7.3p2: "Types other than pointer types derived fromChris Lattner2008-04-023-9/+93
| | | | | | | | | | | | | | object or incomplete types shall not be restrict-qualified." 2) Warn about qualifiers on function types: C99 6.7.3p8: "If the specification of a function type includes any type qualifiers, the behavior is undefined." 3) Implement restrict on C++ references. 4) fix some locations for various C++ reference diagnostics. llvm-svn: 49081
* Add a citation.Chris Lattner2008-04-021-1/+3
| | | | llvm-svn: 49080
* Add new CC lowering rule: provide a list of registers, which can be 'shadowed',Anton Korobeynikov2008-04-024-9/+88
| | | | | | | when some another register is used for argument passing. Currently is used on Win64. llvm-svn: 49079
* Fix several bugs in array -> pointer decomposition.Chris Lattner2008-04-027-24/+97
| | | | | | | | | | | | | | | | First, we got several CVR propagation cases wrong, which Eli pointed out in PR2039. Second, we didn't propagate address space qualifiers correctly, leading to incorrect lowering of code in CodeGen/address-space.c. Third, we didn't uniformly propagate the specifier in the array to the pointer ("int[restrict 4]" -> "int *restrict"). This adds an ASTContext::getArrayDecayedType member that handles the non-trivial logic for this seemingly simple operation. llvm-svn: 49078
* Added initial hacked support for display path diagnostics withTed Kremenek2008-04-021-3/+107
| | | | | | GRSimpleVals warnings. Cleaning up, but now we get multiple bubbles (branches are annotated). llvm-svn: 49077
* Fix copy-paste error.Ted Kremenek2008-04-021-1/+1
| | | | llvm-svn: 49076
* remove blank line.Chris Lattner2008-04-021-1/+0
| | | | llvm-svn: 49075
* print cvr qualifiers on simplified typedefsChris Lattner2008-04-021-2/+5
| | | | llvm-svn: 49074
* Added special handling when the build command is "gcc", "cc", or "llvm-gcc";Ted Kremenek2008-04-021-7/+24
| | | | | | in these cases we directly call ccc-analyzer. llvm-svn: 49073
* rename some variables, fix 80 col violation. No Chris Lattner2008-04-021-47/+48
| | | | | | functionality change. llvm-svn: 49072
* a bunch of random cleanupsSam Bishop2008-04-021-28/+26
| | | | llvm-svn: 49071
* In some situations, we need to check for local interferences between the PHIOwen Anderson2008-04-021-2/+11
| | | | | | node and its inputs. llvm-svn: 49070
* Correctly mark a valno that was previous defined by a PHI node as having anOwen Anderson2008-04-021-4/+7
| | | | | | unknown defining inst after PHI elimination. llvm-svn: 49069
* Fix PR2017 and silence some bogus errors.Chris Lattner2008-04-024-8/+18
| | | | llvm-svn: 49068
* Fix a comment typo and add a couple suggestions from Chris.Steve Naroff2008-04-022-3/+4
| | | | llvm-svn: 49066
* more edits from Jon SargeantChris Lattner2008-04-021-12/+16
| | | | llvm-svn: 49065
* Recommitting EH patch; this should answer most of theDale Johannesen2008-04-0210-104/+114
| | | | | | | | | | | | | | | review feedback. -enable-eh is still accepted but doesn't do anything. EH intrinsics use Dwarf EH if the target supports that, and are handled by LowerInvoke otherwise. The separation of the EH table and frame move data is, I think, logically figured out, but either one still causes full EH info to be generated (not sure how to split the metadata correctly). MachineModuleInfo::needsFrameInfo is no longer used and is removed. llvm-svn: 49064
* 1. Drop default inline threshold back down to 200.Evan Cheng2008-04-012-10/+15
| | | | | | | 2. Do not use # of basic blocks as part of the cost computation since it doesn't really figure into function size. 3. More aggressively inline function with vector code. llvm-svn: 49061
* Reverting 49056 due to the build being broken.Tanya Lattner2008-04-011-4/+6
| | | | llvm-svn: 49060
* ReMat of load from stub in pic mode extends the life of pic base. Currently ↵Evan Cheng2008-04-011-0/+6
| | | | | | spiller doesn't do a good job of estimating the impact. Disable for now. llvm-svn: 49059
* Fairly large "cleaup" related to changing ObjCCompatibleAliasDecl superclass ↵Steve Naroff2008-04-0110-80/+93
| | | | | | | | | | | | | (to inherit from NamedDecl, instead of ScopedDecl). - Added a DenseMap to associate an IdentifierInfo with the ObjCCompatibleAliasDecl. - Renamed LookupScopedDecl->LookupDecl and changed it's return type to Decl. Also added lookup for ObjCCompatibleAliasDecl's. - Removed Sema::LookupInterfaceDecl(). Converted clients to used LookupDecl(). - Some minor indentation changes. Will deal with ObjCInterfaceDecl and getObjCInterfaceDecl() in a separate commit... llvm-svn: 49058
* Patch by Argiris Kirtzidis: Fix a dangling pointer error!Ted Kremenek2008-04-011-1/+3
| | | | llvm-svn: 49057
* Iterators folloring a SmallVector erased element are invalidated soDavid Greene2008-04-011-6/+4
| | | | | | don't access cached iterators from after the erased element. llvm-svn: 49056
* Fix compilation errors on MSVC. Patch by Argiris Kirtzidis!Bill Wendling2008-04-011-1/+2
| | | | llvm-svn: 49055
* Remove unnecessary and non-deterministic checking code. Re-enable remat of ↵Evan Cheng2008-04-011-11/+0
| | | | | | load from gv stub. llvm-svn: 49054
* Re-materialization is for uses only.Evan Cheng2008-04-011-4/+4
| | | | llvm-svn: 49053
* Minor cleanups.Ted Kremenek2008-04-011-2/+1
| | | | llvm-svn: 49052
* Added help text for scan-build.Ted Kremenek2008-04-011-4/+39
| | | | llvm-svn: 49051
* Don't use __bzero for memset if the second argument isn't zero.Dan Gohman2008-04-011-1/+2
| | | | llvm-svn: 49050
* Initial checking of 'scan-build' script, a script used to wrap builds andTed Kremenek2008-04-011-0/+246
| | | | | | interpose calls to gcc with calls to the analyzer. llvm-svn: 49049
* Speculatively micro-optimize memory-zeroing calls on Darwin 10.Dan Gohman2008-04-014-5/+43
| | | | llvm-svn: 49048
* Revert 49006 for the moment.Dale Johannesen2008-04-018-49/+25
| | | | llvm-svn: 49046
OpenPOWER on IntegriCloud