summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Add documentation for test.Zhongxing Xu2008-11-251-0/+10
| | | | llvm-svn: 60002
* Comment fix.Daniel Dunbar2008-11-251-1/+1
| | | | llvm-svn: 59997
* Add no-warning to test case.Zhongxing Xu2008-11-241-1/+1
| | | | llvm-svn: 59995
* Patch to remove bogus waring when a property declarationFariborz Jahanian2008-11-242-1/+37
| | | | | | is imported from a protocol into the implementation. llvm-svn: 59988
* Remove an empty if and add a reminder for when we implement C++ try-catch.Sebastian Redl2008-11-241-4/+1
| | | | llvm-svn: 59987
* Display the function we are analyzing before running LiveVariables.Ted Kremenek2008-11-241-4/+4
| | | | llvm-svn: 59983
* Fix CFG bug where the 'increment' block for a 'for' statement would not beTed Kremenek2008-11-241-2/+10
| | | | | | | | | | properly reversed once constructed. This fixes PR 3125: http://llvm.org/bugs/show_bug.cgi?id=3125 llvm-svn: 59982
* Remove some bad characters from comment.Sebastian Redl2008-11-241-1/+1
| | | | llvm-svn: 59979
* Fix the fix of revision 59974. Now array-struct.c passes too.Sebastian Redl2008-11-241-1/+2
| | | | llvm-svn: 59975
* Fix crash of array bounds checking under 64-bit.Sebastian Redl2008-11-242-5/+14
| | | | | | There might be other, similar bugs lurking there. llvm-svn: 59974
* Remove FIXME comment.Ted Kremenek2008-11-241-1/+0
| | | | llvm-svn: 59973
* Add support for AllocaRegion extent with GDM.Zhongxing Xu2008-11-243-5/+68
| | | | | | | | | | | | One design problem that is emerging is the signed-ness problem during static analysis. Many unsigned value have to be converted into signed value because it partipates in operations with signed values. On the other hand, we cannot blindly make all values occuring in static analysis signed, because we do have cases where unsignedness is required, for example, integer overflow detection. llvm-svn: 59957
* Add utility methods.Zhongxing Xu2008-11-242-0/+14
| | | | llvm-svn: 59956
* Fix 80-col violation.Zhongxing Xu2008-11-241-1/+2
| | | | llvm-svn: 59954
* Cleanup code with utility method.Zhongxing Xu2008-11-241-2/+2
| | | | llvm-svn: 59951
* Change a whole lot of diagnostics to take QualType's directly Chris Lattner2008-11-2421-266/+231
| | | | | | | | instead of converting them to strings first. This also fixes a bunch of minor inconsistencies in the diagnostics emitted by clang and adds a bunch of FIXME's to DiagnosticKinds.def. llvm-svn: 59948
* Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of Chris Lattner2008-11-2428-308/+303
| | | | | | | | | | | uses of getName() with uses of getDeclName(). This upgrades a bunch of diags to take DeclNames instead of std::strings. This also tweaks a couple of diagnostics to be cleaner and changes CheckInitializerTypes/PerformInitializationByConstructor to pass around DeclarationNames instead of std::strings. llvm-svn: 59947
* Reimplement Expr::isConstantExpr in terms of Expr::Evaluate. This fixes PR2832.Anders Carlsson2008-11-242-0/+31
| | | | llvm-svn: 59946
* __builtin_constant_p takes an argument that can have any type.Anders Carlsson2008-11-241-1/+1
| | | | llvm-svn: 59944
* Strings are NULL terminated. So the region size should plus one.Zhongxing Xu2008-11-242-2/+2
| | | | llvm-svn: 59943
* Forgot the newline :)Anders Carlsson2008-11-241-1/+1
| | | | llvm-svn: 59942
* Add test case for bug that's been fixed.Anders Carlsson2008-11-241-0/+6
| | | | llvm-svn: 59941
* The address of a variable is only constant if the variable has global storage.Anders Carlsson2008-11-242-1/+15
| | | | llvm-svn: 59939
* Fix bug in the constant evaluator. Fixes PR3115.Anders Carlsson2008-11-242-33/+36
| | | | llvm-svn: 59938
* Migrate some stuff from NamedDecl::getName() to Chris Lattner2008-11-248-28/+28
| | | | | | NamedDecl::getNameAsString() to make it more explicit. llvm-svn: 59937
* Rename NamedDecl::getIdentifierName() to ::getNameAsCString() and make itChris Lattner2008-11-2415-87/+82
| | | | | | | | | assert if the name is not an identifier. Update callers to do the right thing and avoid this method in unsafe cases. This also fixes an objc warning that was missing a space, and migrates a couple more to taking IdentifierInfo and QualTypes instead of std::strings. llvm-svn: 59936
* simplify this code.Chris Lattner2008-11-241-1/+2
| | | | llvm-svn: 59935
* Rename Selector::getName() to Selector::getAsString(), and addChris Lattner2008-11-2424-95/+118
| | | | | | | | | | | | | a new NamedDecl::getAsString() method. Change uses of Selector::getName() to just pass in a Selector where possible (e.g. to diagnostics) instead of going through an std::string. This also adds new formatters for objcinstance and objcclass as described in the dox. llvm-svn: 59933
* Add a comment about the signedness.Zhongxing Xu2008-11-241-0/+2
| | | | llvm-svn: 59932
* Add test case for out-of-bound memory access checking.Zhongxing Xu2008-11-241-0/+6
| | | | llvm-svn: 59931
* Add getSize() support for StringRegion.Zhongxing Xu2008-11-244-3/+14
| | | | llvm-svn: 59930
* Rewrite FindDiagnostics to be more strict about the formatting of the Chris Lattner2008-11-245-39/+63
| | | | | | | expected-foo strings. Now the only allowed characters between expected-error and {{ is whitespace. llvm-svn: 59925
* clean up -verify mode output. If the expected-error string is Chris Lattner2008-11-232-36/+35
| | | | | | mangled, report it using the diagnostics machinery instead of printf. llvm-svn: 59924
* convert some more warnings to NOTEs.Chris Lattner2008-11-233-12/+12
| | | | llvm-svn: 59923
* remove warn_previous_declarationChris Lattner2008-11-233-10/+5
| | | | llvm-svn: 59922
* make the 'to match this' diagnostic a note.Chris Lattner2008-11-2314-25/+25
| | | | llvm-svn: 59921
* Make all the 'redefinition' diagnostics more consistent, and make the Chris Lattner2008-11-2339-183/+177
| | | | | | "previously defined here" diagnostics all notes. llvm-svn: 59920
* make some objc redefinition warnings more consistent: call definitions Chris Lattner2008-11-238-16/+19
| | | | | | | "definitions", not declarations. Point out the location of the original definition. llvm-svn: 59919
* Tweak duplicate category diagnostic to work like the duplicate protocol ↵Chris Lattner2008-11-234-17/+22
| | | | | | | | diagnostic. Also, point out where the previous decl was. This unxfails two tests. llvm-svn: 59918
* Convert IdentifierInfo's to be printed the same as DeclarationNames Chris Lattner2008-11-2319-131/+136
| | | | | | | | | | | | | | | | | | | | | with implicit quotes around them. This has a bunch of follow-on effects and requires tweaking to a whole lot of code. This causes a regression in two tests (xfailed) by causing it to emit things like: Line 10: duplicate interface declaration for category 'MyClass1' ('Category1') instead of: Line 10: duplicate interface declaration for category 'MyClass1(Category1)' I will fix this in a follow-up commit. As part of this, I had to start switching stuff to use ->getDeclName() instead of Decl::getName() for consistency. This is good, but I was planning to do this as an independent patch. There will be several follow-on patches to clean up some of the mess, but this patch is already too big. llvm-svn: 59917
* add support for inserting a DeclarationName into a diagnostic directlyChris Lattner2008-11-239-19/+43
| | | | | | | without calling getAsString(). This implicitly puts quotes around the name, so diagnostics need to be tweaked to accommodate this. llvm-svn: 59916
* inserting a qualtype adds quotes implicitlyChris Lattner2008-11-231-1/+1
| | | | llvm-svn: 59915
* Genericize the qualtype formating callback to support any diag argument.Chris Lattner2008-11-234-35/+41
| | | | | | No functionality change. llvm-svn: 59908
* Add support for sending QualType's directly into diags and convert twoChris Lattner2008-11-237-27/+111
| | | | | | | | | | diags over to use this. QualTypes implicitly print single quotes around them for uniformity and future extension. Doing this requires a little function pointer dance to prevent libbasic from depending on libast. llvm-svn: 59907
* other minor edits.Chris Lattner2008-11-231-6/+6
| | | | llvm-svn: 59906
* minor cleanups.Chris Lattner2008-11-231-26/+28
| | | | llvm-svn: 59905
* Add out-of-bound memory access warning report code.Zhongxing Xu2008-11-233-6/+53
| | | | llvm-svn: 59903
* Improve test case.Zhongxing Xu2008-11-231-1/+1
| | | | llvm-svn: 59902
* Clean up code by using utility methods.Zhongxing Xu2008-11-231-11/+7
| | | | llvm-svn: 59899
* finish up the diagnostics documentation. We don'tChris Lattner2008-11-231-6/+22
| | | | | | | support QualType and DeclarationName yet, so some of it is lies, however, this will be fixed shortly. llvm-svn: 59896
OpenPOWER on IntegriCloud