Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fixed a horrible bug in HTMLDiagnostics.cpp where bugs referencing source ↵ | Ted Kremenek | 2008-11-02 | 1 | -3/+3 | |
| | | | | | | ranges that occur within macros would not be emitted at all. llvm-svn: 58550 | |||||
* | Move IRBuilder type definition to common file. | Daniel Dunbar | 2008-11-01 | 10 | -45/+61 | |
| | | | | | | - No functionality change. llvm-svn: 58546 | |||||
* | minor tweaks. | Chris Lattner | 2008-11-01 | 1 | -2/+6 | |
| | | | | llvm-svn: 58545 | |||||
* | Grammar tweaks. | Daniel Dunbar | 2008-11-01 | 1 | -4/+4 | |
| | | | | llvm-svn: 58544 | |||||
* | Add recent timing results to web page. | Daniel Dunbar | 2008-11-01 | 8 | -0/+769 | |
| | | | | llvm-svn: 58542 | |||||
* | Semantic checking of constructor declarations and classification of ↵ | Douglas Gregor | 2008-10-31 | 5 | -22/+177 | |
| | | | | | | default/copy constructors llvm-svn: 58538 | |||||
* | Implement basic support for converting constructors in user-defined | Douglas Gregor | 2008-10-31 | 8 | -35/+230 | |
| | | | | | | | | | | | | | conversions. Notes: - Overload resolution for converting constructors need to prohibit user-defined conversions (hence, the test isn't -verify safe yet). - We still use hacks for conversions from a class type to itself. This will be the case until we start implicitly declaring the appropriate special member functions. (That's next on my list) llvm-svn: 58513 | |||||
* | Fix a bug that was introduced in 58501. Ideally I think we should force all ↵ | Anders Carlsson | 2008-10-31 | 1 | -1/+1 | |
| | | | | | | targets to set these values and not have defaults. llvm-svn: 58511 | |||||
* | Comment out invalid assertion. I'm leaving it in the code for now as a ↵ | Ted Kremenek | 2008-10-31 | 1 | -1/+3 | |
| | | | | | | reminder to produce a test case. llvm-svn: 58510 | |||||
* | Implement semantic checking of static_cast and dynamic_cast. | Sebastian Redl | 2008-10-31 | 10 | -56/+602 | |
| | | | | llvm-svn: 58509 | |||||
* | Simplify interface. We can get canonical type from the base region directly. ↵ | Zhongxing Xu | 2008-10-31 | 1 | -21/+23 | |
| | | | | | | No need for an extra type argument. llvm-svn: 58507 | |||||
* | Implement struct initialization for SCA. | Zhongxing Xu | 2008-10-31 | 1 | -1/+47 | |
| | | | | llvm-svn: 58506 | |||||
* | Implement array initialization for SCA. | Zhongxing Xu | 2008-10-31 | 1 | -6/+39 | |
| | | | | llvm-svn: 58504 | |||||
* | Fixed build warning. No functionality change. | Sanjiv Gupta | 2008-10-31 | 1 | -2/+2 | |
| | | | | llvm-svn: 58503 | |||||
* | Add test code for array initialization. | Zhongxing Xu | 2008-10-31 | 1 | -0/+5 | |
| | | | | llvm-svn: 58502 | |||||
* | Made the mechanism of defining preprocessor defs for maxint, ptrdiff_t, wchar | Sanjiv Gupta | 2008-10-31 | 8 | -46/+104 | |
| | | | | | | | | | | etc more generic. For some targets, long may not be equal to pointer size. For example: PIC16 has int as i16, ptr as i16 but long as i32. Also fixed a few build warnings in assert() functions in CFRefCount.cpp, CGDecl.cpp, SemaDeclCXX.cpp and ParseDeclCXX.cpp. llvm-svn: 58501 | |||||
* | Turn off module verification in Release-Asserts builds. | Daniel Dunbar | 2008-10-31 | 1 | -0/+4 | |
| | | | | llvm-svn: 58500 | |||||
* | Add support for parsing and representing C++ constructor declarations. | Douglas Gregor | 2008-10-31 | 15 | -95/+454 | |
| | | | | | | | | | | | | | | | Notes: - Constructors are never found by name lookup, so they'll never get pushed into any scope. Instead, they are stored as an OverloadedFunctionDecl in CXXRecordDecl for easy overloading. - There's a new action isCurrentClassName that determines whether an identifier is the name of the innermost class currently being defined; we use this to identify the declarator-id grammar rule that refers to a type-name. - MinimalAction does *not* support parsing constructors. - We now handle virtual and explicit function specifiers. llvm-svn: 58499 | |||||
* | "One" line fix for -parse-noop failure, "id" and several other things | Daniel Dunbar | 2008-10-31 | 6 | -10/+20 | |
| | | | | | | | | were being treated as type names for non-Objective-C files. - Other lines are just because MinimalAction didn't have access to the LangOptions. llvm-svn: 58498 | |||||
* | Debug info: Bug fix, function types should always include the return | Daniel Dunbar | 2008-10-31 | 1 | -1/+1 | |
| | | | | | | type. llvm-svn: 58497 | |||||
* | Implement BindStruct and fix a bug in RetriveStruct. | Zhongxing Xu | 2008-10-31 | 1 | -4/+33 | |
| | | | | llvm-svn: 58496 | |||||
* | Fix 80-col violations. | Zhongxing Xu | 2008-10-31 | 1 | -5/+5 | |
| | | | | llvm-svn: 58495 | |||||
* | Implement load from struct region. Instead of returning an UnknownVal(), we ↵ | Zhongxing Xu | 2008-10-31 | 1 | -0/+33 | |
| | | | | | | create a CompoundVal by loading from each field of the struct. llvm-svn: 58494 | |||||
* | Make CompoundLiteralRegion a subclass of TypedRegiion. | Zhongxing Xu | 2008-10-31 | 1 | -4/+7 | |
| | | | | llvm-svn: 58493 | |||||
* | Add a tentative assertion. | Zhongxing Xu | 2008-10-31 | 1 | -2/+3 | |
| | | | | llvm-svn: 58492 | |||||
* | On Mac OS X, use TMPDIR as the default location to place analysis results. ↵ | Ted Kremenek | 2008-10-31 | 1 | -2/+9 | |
| | | | | | | This is a more secure location for such files, and addresses <rdar://problem/6334220>. llvm-svn: 58491 | |||||
* | Quick fix for PR2950, infinite loop generating debug info for | Daniel Dunbar | 2008-10-31 | 3 | -20/+35 | |
| | | | | | | | recursive types. - Style will be clean up in further patches. llvm-svn: 58490 | |||||
* | Formatting tweaks. | Daniel Dunbar | 2008-10-31 | 2 | -18/+17 | |
| | | | | | | - No functionality change. llvm-svn: 58488 | |||||
* | Fix a comment. | Zhongxing Xu | 2008-10-31 | 1 | -1/+1 | |
| | | | | llvm-svn: 58487 | |||||
* | Added missing 'expected-warning' | Ted Kremenek | 2008-10-31 | 1 | -1/+1 | |
| | | | | llvm-svn: 58481 | |||||
* | Enhance compound literal test case. | Ted Kremenek | 2008-10-31 | 1 | -2/+8 | |
| | | | | llvm-svn: 58480 | |||||
* | Use llvm::raw_string_ostream instead of std::ostringstream. | Ted Kremenek | 2008-10-31 | 1 | -4/+4 | |
| | | | | llvm-svn: 58479 | |||||
* | Enhance path-sensitive return-of-stack-address check to print out the line ↵ | Ted Kremenek | 2008-10-31 | 1 | -3/+20 | |
| | | | | | | number of a compound literal (whose address is being returned) instead of printing out the hex representation of the pointer address of the CompoundLiteralExpr. llvm-svn: 58478 | |||||
* | Add accessor method to CompoundLiteralRegion to retrieve the ↵ | Ted Kremenek | 2008-10-31 | 1 | -0/+2 | |
| | | | | | | CompoundLiteralExpr. llvm-svn: 58476 | |||||
* | Updated checker build. | Ted Kremenek | 2008-10-30 | 1 | -1/+1 | |
| | | | | llvm-svn: 58473 | |||||
* | Add missing "expected warning". | Ted Kremenek | 2008-10-30 | 1 | -2/+3 | |
| | | | | | | Add compound literal with empty initializer (just to test the analyzer handles it). llvm-svn: 58470 | |||||
* | Extend "followsFundamentalRule" to ignore prefix '_' characters. | Ted Kremenek | 2008-10-30 | 1 | -2/+2 | |
| | | | | llvm-svn: 58469 | |||||
* | Handle the case in VisitInitListExprs where there are no initializers in the ↵ | Ted Kremenek | 2008-10-30 | 1 | -8/+15 | |
| | | | | | | compound literal. llvm-svn: 58468 | |||||
* | Add method that will be invoked using the dot-syntax just to test that the ↵ | Ted Kremenek | 2008-10-30 | 1 | -1/+6 | |
| | | | | | | missing -dealloc checker handles it. llvm-svn: 58467 | |||||
* | Distinguish between self.X = ... where self.X is a property reference and ↵ | Ted Kremenek | 2008-10-30 | 1 | -1/+2 | |
| | | | | | | self.X is an implicit call to setX. llvm-svn: 58462 | |||||
* | Improve compound literal test case. | Ted Kremenek | 2008-10-30 | 1 | -2/+6 | |
| | | | | llvm-svn: 58447 | |||||
* | Use the correct predecessor node. | Ted Kremenek | 2008-10-30 | 1 | -1/+1 | |
| | | | | llvm-svn: 58446 | |||||
* | Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an ↵ | Ted Kremenek | 2008-10-30 | 2 | -127/+9 | |
| | | | | | | adapter for std::ostream, but this will be removed in the future. llvm-svn: 58445 | |||||
* | Add missing return statement. | Ted Kremenek | 2008-10-30 | 1 | -0/+2 | |
| | | | | llvm-svn: 58444 | |||||
* | Added iterators to nonloc::CompoundSVal. | Ted Kremenek | 2008-10-30 | 3 | -1/+30 | |
| | | | | | | Added pretty-printing for nonloc::CompoundSVal. llvm-svn: 58442 | |||||
* | 80 col violation. | Ted Kremenek | 2008-10-30 | 1 | -3/+3 | |
| | | | | llvm-svn: 58441 | |||||
* | Use a worklist in GRExprEngine::VisitInitListExpr to process subexpressions. | Ted Kremenek | 2008-10-30 | 1 | -26/+55 | |
| | | | | llvm-svn: 58440 | |||||
* | Update #includes since SVals.h no longer includes BasicValueFactory.h. | Ted Kremenek | 2008-10-30 | 2 | -0/+2 | |
| | | | | llvm-svn: 58439 | |||||
* | Add iterator/reverse_iterator to InitListExpr for iteration over the ↵ | Ted Kremenek | 2008-10-30 | 1 | -0/+9 | |
| | | | | | | subexpressions of an initializer list. This is basically the same as child_iterator except reverse iteration is possible (which will be used by GRExprEngine::VisitInitListExpr). llvm-svn: 58438 | |||||
* | CompoundVal now uses an ImmutableList<SVal> to store its set of SVals. This ↵ | Ted Kremenek | 2008-10-30 | 4 | -51/+44 | |
| | | | | | | change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr. As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time. llvm-svn: 58437 |