summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* The attribute nothrow maps to llvm attribute nounwind. Fix testcase.Gabor Greif2008-03-031-1/+1
| | | | llvm-svn: 47841
* Chris added this testcase with r47837. The mail only shows one todo-warning ↵Gabor Greif2008-03-031-2/+2
| | | | | | but I see 3. Strangeness. Correcting lines 16 and 24. llvm-svn: 47840
* avoid a warning.Chris Lattner2008-03-031-1/+2
| | | | llvm-svn: 47839
* fix codegen support for functions that are nothrow and noreturn.Chris Lattner2008-03-032-9/+13
| | | | llvm-svn: 47838
* Add a bunch of attributes, patch by Nuno Lopes.Chris Lattner2008-03-0310-27/+456
| | | | llvm-svn: 47837
* Find clang headers in the clang headers dir, search it before Chris Lattner2008-03-031-4/+15
| | | | | | | | | the system headers dir. This produces an annoying warning: clang.cpp:883: warning: ISO C++ forbids casting between pointer-to-function and pointer-to-object I'm not sure how to remove it. :( llvm-svn: 47836
* Build the clang headers.Chris Lattner2008-03-031-1/+1
| | | | llvm-svn: 47834
* Add a makefile to build and install headers.Chris Lattner2008-03-031-0/+38
| | | | llvm-svn: 47833
* Add codegen support for ObjC message expressions with the GNU runtime.Chris Lattner2008-03-012-0/+144
| | | | | | Patch by David Chisnall! llvm-svn: 47790
* Add codegen support for ObjC message expressions with the GNU runtime.Chris Lattner2008-03-015-2/+69
| | | | | | Patch by David Chisnall! llvm-svn: 47789
* newline at end of file, by David ChisnallChris Lattner2008-03-011-1/+2
| | | | llvm-svn: 47788
* character literals have char type in C++ and int type in C. PatchChris Lattner2008-03-011-2/+4
| | | | | | by Nuno Lopes for PR2089 llvm-svn: 47787
* Add support for the CPATH, C_INCLUDE_PATH, CPLUS_INCLUDE_PATH,Chris Lattner2008-03-011-4/+35
| | | | | | | OBJC_INCLUDE_PATH, and OBJCPLUS_INCLUDE_PATH environment variables. Patch by Sam Bishop! llvm-svn: 47785
* Added extra check for calls to functions where we pass undefined valuesTed Kremenek2008-02-293-4/+42
| | | | | | as arguments. llvm-svn: 47778
* Fix http://llvm.org/bugs/show_bug.cgi?id=2103.Steve Naroff2008-02-293-8/+31
| | | | llvm-svn: 47775
* Add checks for function calls via a function pointer that is NULL, Undefined,Ted Kremenek2008-02-293-16/+30
| | | | | | or otherwise a constant integer value that doesn't evaluate to an address. llvm-svn: 47774
* Minor CFG optimization: don't create separate block-level expressions for ↵Ted Kremenek2008-02-291-1/+14
| | | | | | DeclStmt initializers when the initializer is a literal. llvm-svn: 47771
* When AST-dumping ObjCMessageExpr, output the selector.Ted Kremenek2008-02-291-0/+6
| | | | llvm-svn: 47769
* Fix http://llvm.org/bugs/show_bug.cgi?id=2106.Steve Naroff2008-02-294-1/+15
| | | | llvm-svn: 47768
* Fix a crash where PI.TypeInfo has not been filled in case of missing ↵Gabor Greif2008-02-291-6/+7
| | | | | | | | | ObjCInterfaceDecl. Happens with Xcode 2.4.1 headers on test Parser/objc-foreach-error-1.m llvm-svn: 47767
* "Refinement" of hack to bound loop-traversals: visit any block at a maximum ↵Ted Kremenek2008-02-294-50/+40
| | | | | | of 3 times along a given path. llvm-svn: 47766
* testcase for attr deprecated, by Nuno Lopes.Chris Lattner2008-02-291-0/+25
| | | | llvm-svn: 47757
* make include guards more unique.Chris Lattner2008-02-293-6/+6
| | | | llvm-svn: 47754
* Add support for attribute(deprecated), patch by Nuno Lopes!Chris Lattner2008-02-296-4/+34
| | | | llvm-svn: 47753
* Added simple hack to reduce redundant warnings from the checker:Ted Kremenek2008-02-281-0/+14
| | | | | | | | | Cache the location of the error. Don't emit the same warning for the same error type that occurs at the same program location but along a different path. llvm-svn: 47727
* Added checking for undefined results of '<<' and '>>' (shifting by too many ↵Ted Kremenek2008-02-287-36/+126
| | | | | | | | bits, etc.) This current implementation only works when both operands are concrete values; later we will add support for symbolic values. llvm-svn: 47726
* Implementation of the first clang-native header, stdbool.h. Comments Eli Friedman2008-02-281-0/+38
| | | | | | welcome. llvm-svn: 47724
* Updated clang webpage to hint at "make update". AlsoGabor Greif2008-02-281-1/+4
| | | | | | | changed "very early" to "early" when talking about the state of clang. llvm-svn: 47718
* Merged ValueState and ValueStateImpl into just ValueState, with ↵Ted Kremenek2008-02-288-273/+233
| | | | | | GRExprEngine::StateTy just becoming ValueState*. llvm-svn: 47714
* Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine.Ted Kremenek2008-02-287-113/+113
| | | | llvm-svn: 47713
* Added parsing of attributes for functions.Ted Kremenek2008-02-271-2/+4
| | | | llvm-svn: 47693
* Fixed use of an uninitialized variable.Ted Kremenek2008-02-271-1/+1
| | | | llvm-svn: 47691
* End paths when calling a function marked "noreturn."Ted Kremenek2008-02-272-5/+29
| | | | llvm-svn: 47690
* Added support for attribute "noreturn."Ted Kremenek2008-02-275-3/+31
| | | | llvm-svn: 47689
* Small tweaks to the transfer function for DeclStmt: do not mark external globalTed Kremenek2008-02-271-5/+17
| | | | | | variables as uninitialized, and only "initialize" static function variables. llvm-svn: 47683
* Disable internalize. Unfortunately, the configure scripts are not ready for ↵Lauro Ramos Venancio2008-02-271-1/+1
| | | | | | some link time optimizations. llvm-svn: 47682
* Removed VarDecl::hasStaticStorage() (redundant with hasGlobalStorage())Ted Kremenek2008-02-273-32/+18
| | | | | | | | | | | Removed VarDecl::hasAutoStorage() (only used by hasLocalStorage()) Merged logic from VarDecl::hasAutoStorage() into VarDecl::hasLocalStorage(), and expanded (fixed) the logic of hasLocalStorage() to handle Extern and PrivateExtern. Renamed Expr::hasStaticStorage() to Expr::hasGlobalStorage(). llvm-svn: 47681
* Added string "[CHECKER]" to the output diagnostics produced by the ↵Ted Kremenek2008-02-271-0/+5
| | | | | | GRSimpleVals analysis. llvm-svn: 47678
* Fixed edge-case in CFG construction where goto jumps would not always getTed Kremenek2008-02-271-1/+4
| | | | | | properly back-patched. llvm-svn: 47675
* A, q and Z are valid LLVM inline asm constraints.Lauro Ramos Venancio2008-02-271-5/+0
| | | | | | Fix regression in Applications/ClamAV/clamscan. llvm-svn: 47673
* Bug fix in CFG construction: Properly register the loop head as the implicitTed Kremenek2008-02-271-3/+4
| | | | | | successor of blocks created above it. llvm-svn: 47666
* Small fix to VisitLVal: this method can be called on Block-Level expressions. Ted Kremenek2008-02-271-2/+5
| | | | | | In such cases, handle them just like Visit(). llvm-svn: 47665
* When analyzing a function, eagerly create symbolic values for allTed Kremenek2008-02-274-41/+32
| | | | | | globals/parameters at the beginning of the analysis. llvm-svn: 47664
* Header file cleanups: reduce number of includes; move ValueState.h into ↵Ted Kremenek2008-02-277-34/+10
| | | | | | include directory tree. llvm-svn: 47661
* Similar bug fix to r47650; when processing CallExprs if we did not generate anTed Kremenek2008-02-271-0/+1
| | | | | | | ExplodedNode for the Callee subexpression we would not evaluate the CallExpr transfer function. llvm-svn: 47651
* Fixed bug in the core transfer function logic for CallExprs where we wouldTed Kremenek2008-02-271-0/+3
| | | | | | | sometimes skip evaluating all the arguments when some arguments would not create new ExplodedNodes. llvm-svn: 47650
* Fixed CFG construction bug that occurred when a condition for a loop spannedTed Kremenek2008-02-271-3/+4
| | | | | | | | multiple basic blocks (which can happen when they contain '&&', '||', '?'). The bug was that the loop backedge when to the last block in the loop condition, not the first. llvm-svn: 47649
* fix an interaction between -isystem . and isysroot.Chris Lattner2008-02-261-2/+0
| | | | llvm-svn: 47646
* Fix bug when processing '?' operator: invalidate the old "Uninitialized" ↵Ted Kremenek2008-02-264-8/+27
| | | | | | value of the block-level expression for ?. llvm-svn: 47645
* Added boilerplate for plug-in transfer function support for CallExprs.Ted Kremenek2008-02-264-1/+43
| | | | | | GRSimpleVals performs the following action: invalidate all values passed-by-reference. llvm-svn: 47638
OpenPOWER on IntegriCloud