summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
* use simplified API for making fp constants.Chris Lattner2008-05-042-6/+4
| | | | llvm-svn: 50623
* fix a nasty bug that Neil identifier in pp-expr parsing (this is PR2279 part D).Chris Lattner2008-05-041-5/+13
| | | | llvm-svn: 50617
* Simplify FunctionDecl::AddRedeclaration a bit by using std::swap.Chris Lattner2008-05-043-31/+51
| | | | | | | Fix 'swapping' of attributes to not insert null values into the DeclAttrs map. llvm-svn: 50612
* if a decl is both 'static' and weak or static and inline, its linkageChris Lattner2008-05-042-10/+9
| | | | | | type should be internal, not weak/linkonce. llvm-svn: 50611
* Rename member variable.Ted Kremenek2008-05-021-4/+4
| | | | llvm-svn: 50597
* Improved diagnostics for leaks: now we report which variable was leaked.Ted Kremenek2008-05-021-5/+33
| | | | llvm-svn: 50588
* This patch is about merging ObjC2's properties declared in classFariborz Jahanian2008-05-023-13/+103
| | | | | | | protocols into class's property list and performing semantics on them for while doing so. llvm-svn: 50587
* Fixed bug in ObjCIVarExpr: the child iterator now iterates over the Base ↵Ted Kremenek2008-05-021-2/+7
| | | | | | expression. llvm-svn: 50585
* When running the reference count checker twice (GC and non-GC mode), only emitTed Kremenek2008-05-021-4/+8
| | | | | | basic warnings (dead stores, null dereferences) on the first pass. llvm-svn: 50584
* Bug fix in StmtPrinter to handle pretty-printing ObjCMessageExprs involving ↵Ted Kremenek2008-05-021-5/+11
| | | | | | variadic methods (also did some cosmetic cleanups in the printing output). llvm-svn: 50583
* Really noreturn on exceptions.Ted Kremenek2008-05-021-3/+3
| | | | llvm-svn: 50579
* Fix copy-paste bug.Ted Kremenek2008-05-011-1/+1
| | | | llvm-svn: 50557
* Remove no longer valid assertion.Ted Kremenek2008-05-011-4/+0
| | | | llvm-svn: 50556
* Added line number diagnostics to indicate the allocation site of the leaked ↵Ted Kremenek2008-05-012-7/+55
| | | | | | object. llvm-svn: 50553
* Do not highlight bogus ranges for leaks.Ted Kremenek2008-05-013-41/+67
| | | | llvm-svn: 50549
* Replace Sema::CheckInitializerListTypes() with a helper class ↵Steve Naroff2008-05-013-0/+324
| | | | | | | (InitListChecker) that synthesizes implicit InitListExpr's when appropriate (see InitListExpr comments in Expr.h for more details). I also moved the code to SemaInit.cpp, to help reduce clutter in SemaDecl.cpp. NOTE: This work is incomplete and still fails many tests (as a result, it isn't enabled yet). Nevertheless, I wanted to check it in so I can work on it from home. llvm-svn: 50544
* Convert CRLF to LF.Argyrios Kyrtzidis2008-05-011-3/+3
| | | | llvm-svn: 50542
* Correctly invalidate reference count state when passing objects by reference ↵Ted Kremenek2008-05-012-3/+44
| | | | | | in message expressions we don't understand. llvm-svn: 50541
* Implicitly defined functions were getting the DeclContext of the function ↵Argyrios Kyrtzidis2008-05-011-7/+9
| | | | | | | | where they appeared, causing the bug: http://llvm.org/bugs/show_bug.cgi?id=2266. Fix it by making implicitly defined functions get the DeclContext of translation unit. llvm-svn: 50538
* Added temporary fix for Obj-C exception handling in the static analyzer: ↵Ted Kremenek2008-05-011-4/+72
| | | | | | treat these as panic functions. llvm-svn: 50535
* Renamed static method.Ted Kremenek2008-05-011-4/+4
| | | | llvm-svn: 50533
* Patch to match and issue diagnostics on property type mismatch.Fariborz Jahanian2008-05-011-8/+4
| | | | llvm-svn: 50532
* Added __assert_rtn to list of panic functions.Ted Kremenek2008-05-011-0/+4
| | | | llvm-svn: 50530
* Use pointer swizziling to unify in ObjCMessageExpr the receiver and ↵Ted Kremenek2008-05-013-9/+65
| | | | | | | | classname "fields". This saves us a pointer. Implemented serialization for ObjCMessageExpr. llvm-svn: 50528
* Added ziperr as a panic function. Eventually inter-procedural analysisTed Kremenek2008-05-011-0/+5
| | | | | | should catch this one easily. llvm-svn: 50526
* When processing "release", "retain", and "autorelease" messages return theTed Kremenek2008-05-011-5/+5
| | | | | | | lval passed as an argument. Fix: Inverted diagnostic messages. llvm-svn: 50513
* Added support for "autorelease" message in CF ref. count checker.Ted Kremenek2008-05-011-15/+42
| | | | llvm-svn: 50512
* Extend InitListExpr API/IMPL to support arbitrary add/remove (in support of ↵Steve Naroff2008-05-012-13/+12
| | | | | | the initializer rewrite I am doing). llvm-svn: 50511
* More ObjC2 property semantics work. Work in progress.Fariborz Jahanian2008-05-012-23/+36
| | | | llvm-svn: 50508
* added preliminary diagnostics in scan-build results to denote whetherTed Kremenek2008-04-302-6/+59
| | | | | | a CF memory leak occurred with GC enabled, etc. llvm-svn: 50507
* More cleanups with ObjCQualifiedIdType in the static analyzer.Ted Kremenek2008-04-302-9/+10
| | | | llvm-svn: 50503
* Add placeholder code in the static analyzer for MemberExprs involving struct ↵Ted Kremenek2008-04-301-10/+45
| | | | | | temporaries. llvm-svn: 50502
* Add workaround for __builtin_offsetof in the static analyzer.Ted Kremenek2008-04-301-0/+6
| | | | llvm-svn: 50500
* Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the ↵Ted Kremenek2008-04-301-0/+6
| | | | | | sizeof of a ObjCInterfaceType. llvm-svn: 50499
* Support implicit casts from pointers to references.Ted Kremenek2008-04-301-1/+7
| | | | llvm-svn: 50498
* When creating LVals for array entries, canonicalize entries with a 0 index.Ted Kremenek2008-04-301-1/+9
| | | | llvm-svn: 50497
* Teach more of the static analyzer about ObjCQualifiedIdType.Ted Kremenek2008-04-304-15/+9
| | | | llvm-svn: 50494
* Teach the static analysis engine about ObjCQualifiedIdType.Ted Kremenek2008-04-302-10/+13
| | | | llvm-svn: 50493
* Add conjured symbols for decl initializations.Ted Kremenek2008-04-301-3/+22
| | | | | | Add db_error as panic function. llvm-svn: 50489
* Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ.Ted Kremenek2008-04-301-0/+10
| | | | llvm-svn: 50486
* Verify the whole module after codegen to catch silly IR bugs.Chris Lattner2008-04-301-0/+4
| | | | llvm-svn: 50485
* fix 'var unused' warning.Chris Lattner2008-04-301-2/+2
| | | | llvm-svn: 50484
* Invalidate old subexpression bindings when binding UnknownVal.Ted Kremenek2008-04-301-3/+7
| | | | llvm-svn: 50466
* Simplify RemoveDeadBindings.Ted Kremenek2008-04-291-17/+9
| | | | llvm-svn: 50458
* Add lval::ArrayOffset, which represent the locations of entries in an array.Ted Kremenek2008-04-294-62/+75
| | | | llvm-svn: 50453
* Default visbility for instance variables is protected.Fariborz Jahanian2008-04-291-1/+1
| | | | | | Patch by Emerson Murhpy-Hill. llvm-svn: 50452
* Added lval::FieldOffset, which represents symbolic lvalues for field offsets ↵Ted Kremenek2008-04-294-28/+39
| | | | | | | | from other Lvalues. This removes the failure in null-deref-ps.c (test suite). llvm-svn: 50449
* Major rewrite/refactoring of static analysis engine. We now useTed Kremenek2008-04-293-619/+549
| | | | | | | | | | | | EvalStore/EvalLoad to handle all loads/stores from symbolic memory, allowing us to do checks for null dereferences, etc., at any arbitrary load/store (these were missed checks before). This also resulted in some major cleanups, some conceptual, and others just in the structure of the code. This temporarily introduces a regression in the test suite (null-deref-ps.c) before I add a new LVal type for structure fields. llvm-svn: 50443
* Update typestate logic to support GC-mode.Ted Kremenek2008-04-291-3/+8
| | | | llvm-svn: 50396
* Implement semantics of CFMakeCollectable for the CF-reference count checker.Ted Kremenek2008-04-291-29/+65
| | | | llvm-svn: 50395
OpenPOWER on IntegriCloud