]> granicus.if.org Git - clang/log
clang
15 years agoRemove bogus check.
Ted Kremenek [Fri, 17 Jul 2009 22:45:54 +0000 (22:45 +0000)]
Remove bogus check.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76259 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd error message when clang-cc cannot be found.
Ted Kremenek [Fri, 17 Jul 2009 22:38:26 +0000 (22:38 +0000)]
Add error message when clang-cc cannot be found.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76256 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRestructure CFG builder to have just one visitor path instead of two. The result
Ted Kremenek [Fri, 17 Jul 2009 22:18:43 +0000 (22:18 +0000)]
Restructure CFG builder to have just one visitor path instead of two. The result
is an algorithm that is much easier to understand and slightly more efficient.
Thanks to Mike Stump for our discussions on the CFGBuilder and his comments that
helped prompt this long needed cleanup.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76250 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMove WalkAST logic for 'ChooseExpr' to 'VisitChooseExpr'.
Ted Kremenek [Fri, 17 Jul 2009 18:20:32 +0000 (18:20 +0000)]
Move WalkAST logic for 'ChooseExpr' to 'VisitChooseExpr'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76205 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMove WalkAST logic for 'ConditionalOperator' into 'VisitConditionalOperator'.
Ted Kremenek [Fri, 17 Jul 2009 18:15:54 +0000 (18:15 +0000)]
Move WalkAST logic for 'ConditionalOperator' into 'VisitConditionalOperator'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76202 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFix indentation / trailing white space.
Daniel Dunbar [Fri, 17 Jul 2009 18:10:27 +0000 (18:10 +0000)]
Fix indentation / trailing white space.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76200 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRemove stale comments.
Ted Kremenek [Fri, 17 Jul 2009 18:04:55 +0000 (18:04 +0000)]
Remove stale comments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76196 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoPer offline discussion with Steve Naroff, add back Type::getAsXXXType() methods
Ted Kremenek [Fri, 17 Jul 2009 17:50:17 +0000 (17:50 +0000)]
Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods
until Doug Gregor's Type smart pointer code lands (or more discussion occurs).
These methods just call the new Type::getAs<XXX> methods, so we still have
reduced implementation redundancy. Having explicit getAsXXXType() methods makes
it easier to set breakpoints in the debugger.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76193 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoclean up this code, add the fixme back.
Chris Lattner [Fri, 17 Jul 2009 15:50:19 +0000 (15:50 +0000)]
clean up this code, add the fixme back.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76180 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoobjc methods can't be an operand to callexpr.
Chris Lattner [Fri, 17 Jul 2009 15:46:27 +0000 (15:46 +0000)]
objc methods can't be an operand to callexpr.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76179 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRename Entity::getName() to Entity::getPrintableName() to make its purpose
Zhongxing Xu [Fri, 17 Jul 2009 07:49:44 +0000 (07:49 +0000)]
Rename Entity::getName() to Entity::getPrintableName() to make its purpose
more obvious.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76167 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAs suggested by Argyrios, revert r76159 and make "FindImmediateParent"
Zhongxing Xu [Fri, 17 Jul 2009 07:36:20 +0000 (07:36 +0000)]
As suggested by Argyrios, revert r76159 and make "FindImmediateParent"
a public static method of ASTLocation.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76166 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRefactor code into a new CallExpr::getDirectCallee() method. Simplify some
Zhongxing Xu [Fri, 17 Jul 2009 07:29:51 +0000 (07:29 +0000)]
Refactor code into a new CallExpr::getDirectCallee() method. Simplify some
code with the new method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76164 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoCallGraph: add a bunch of stmt visitors.
Zhongxing Xu [Fri, 17 Jul 2009 07:05:19 +0000 (07:05 +0000)]
CallGraph: add a bunch of stmt visitors.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76161 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRelax the assertion in ASTLocation's ctor: if the decl is not the immediate
Zhongxing Xu [Fri, 17 Jul 2009 06:58:08 +0000 (06:58 +0000)]
Relax the assertion in ASTLocation's ctor: if the decl is not the immediate
parent of the stmt, find the immediate parent for the stmt.

This is because sometimes we cannot get the immediate decl of the stmt when
creating the ASTLocation. We can only get a parent of the stmt.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76159 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoCallGraph:
Zhongxing Xu [Fri, 17 Jul 2009 05:49:16 +0000 (05:49 +0000)]
CallGraph:
 - add IfStmt visitor.
 - print information only when a function has callee. Otherwise its ASTContext
   map is NULL.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76156 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFixup indentation of rest of switch statement to match llvm coding
Mike Stump [Fri, 17 Jul 2009 01:31:16 +0000 (01:31 +0000)]
Fixup indentation of rest of switch statement to match llvm coding
conventions.  Also reflowed comments and removed spaces at end of
lines and fixed up 80 col violations.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76140 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoReplaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type...
Ted Kremenek [Fri, 17 Jul 2009 01:20:38 +0000 (01:20 +0000)]
Replaced Type::getAsLValueReferenceType(), Type::getAsRValueReferenceType(), Type::getAsMemberPointerType(), Type::getAsTagType(), and Type::getAsRecordType() with their Type::getAs<XXX> equivalents.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76139 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoIf we are not doing a Debug build, no need for the debugging print methods.
Argyrios Kyrtzidis [Fri, 17 Jul 2009 01:20:03 +0000 (01:20 +0000)]
If we are not doing a Debug build, no need for the debugging print methods.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76138 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoObjCCategoryImplDecl and ObjCImplementation do not derive directly from DeclContext...
Argyrios Kyrtzidis [Fri, 17 Jul 2009 01:19:49 +0000 (01:19 +0000)]
ObjCCategoryImplDecl and ObjCImplementation do not derive directly from DeclContext but from a new abstract ObjCImplDecl.
Reflect this change on the "DeclContext hierarchy".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76137 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoCheck whether the IdentifierInfo is null, before using it.
Argyrios Kyrtzidis [Fri, 17 Jul 2009 01:19:03 +0000 (01:19 +0000)]
Check whether the IdentifierInfo is null, before using it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76136 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMake noreturn functions alter the CFG.
Mike Stump [Fri, 17 Jul 2009 01:04:31 +0000 (01:04 +0000)]
Make noreturn functions alter the CFG.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76133 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoReplace Type::getAsReferenceType() with Type::getAs<ReferenceType>().
Ted Kremenek [Fri, 17 Jul 2009 01:01:15 +0000 (01:01 +0000)]
Replace Type::getAsReferenceType() with Type::getAs<ReferenceType>().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76132 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate cf_returns_retained/ns_returns_retained examples to use __has_feature.
Ted Kremenek [Fri, 17 Jul 2009 00:25:49 +0000 (00:25 +0000)]
Update cf_returns_retained/ns_returns_retained examples to use __has_feature.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76130 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate test case to use '__has_feature' macro.
Ted Kremenek [Fri, 17 Jul 2009 00:19:33 +0000 (00:19 +0000)]
Update test case to use '__has_feature' macro.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76129 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoSome more ?: for Obj-C tests.
Daniel Dunbar [Thu, 16 Jul 2009 23:34:22 +0000 (23:34 +0000)]
Some more ?: for Obj-C tests.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76125 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFix unused variable warnings (with -Asserts)
Daniel Dunbar [Thu, 16 Jul 2009 22:10:11 +0000 (22:10 +0000)]
Fix unused variable warnings (with -Asserts)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76112 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoir-gen for --/++ operators of objc object pointers
Fariborz Jahanian [Thu, 16 Jul 2009 22:04:59 +0000 (22:04 +0000)]
ir-gen for --/++ operators of objc object pointers
in 32bit abi.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76109 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd more testing of ?: for Obj-C object types.
Daniel Dunbar [Thu, 16 Jul 2009 21:55:48 +0000 (21:55 +0000)]
Add more testing of ?: for Obj-C object types.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76108 91177308-0d34-0410-b5e6-96231b3b80d8

15 years ago[llvm up] Add support for '#' component of QA_OVERRIDE_GCC3_OPTIONS.
Daniel Dunbar [Thu, 16 Jul 2009 21:32:51 +0000 (21:32 +0000)]
[llvm up] Add support for '#' component of QA_OVERRIDE_GCC3_OPTIONS.
 - This silences the output about how command line arguments are being changed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76107 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd extra print for --time-tests output.
Daniel Dunbar [Thu, 16 Jul 2009 21:18:21 +0000 (21:18 +0000)]
Add extra print for --time-tests output.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76104 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoHook in s390x stuff into clang
Anton Korobeynikov [Thu, 16 Jul 2009 20:09:57 +0000 (20:09 +0000)]
Hook in s390x stuff into clang

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76099 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd member template 'Type::getAs<T>', which converts a Type* to a respective T*.
Ted Kremenek [Thu, 16 Jul 2009 19:58:26 +0000 (19:58 +0000)]
Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.
This method is intended to eventually replace the individual
Type::getAsXXXType<> methods.

The motivation behind this change is twofold:

1) Reduce redundant implementations of Type::getAsXXXType() methods. Most of
them are basically copy-and-paste.

2) By centralizing the implementation of the getAs<Type> logic we can more
smoothly move over to Doug Gregor's proposed canonical type smart pointer
scheme.

Along with this patch:

a) Removed 'Type::getAsPointerType()'; now clients use getAs<PointerType>.
b) Removed 'Type::getAsBlockPointerTypE()'; now clients use getAs<BlockPointerType>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76098 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMove the source-level CFG from libAST to libAnalysis.
Ted Kremenek [Thu, 16 Jul 2009 18:13:04 +0000 (18:13 +0000)]
Move the source-level CFG from libAST to libAnalysis.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76092 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd 'clang-wpa' to the CMake-based build.
Ted Kremenek [Thu, 16 Jul 2009 18:10:20 +0000 (18:10 +0000)]
Add 'clang-wpa' to the CMake-based build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76091 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate for LLVM API change.
Owen Anderson [Thu, 16 Jul 2009 18:09:38 +0000 (18:09 +0000)]
Update for LLVM API change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76090 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoDiagnose ++/-- op on objc pointers in
Fariborz Jahanian [Thu, 16 Jul 2009 17:59:14 +0000 (17:59 +0000)]
Diagnose ++/-- op on objc pointers in
nonfragile abi, instead of crashing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76088 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agouse CreateRuntimeVariable to get __CFConstantStringClassReference
Chris Lattner [Thu, 16 Jul 2009 16:48:25 +0000 (16:48 +0000)]
use CreateRuntimeVariable to get __CFConstantStringClassReference
instead of doing it manually (which might end up getting auto-renamed),
fixing a FIXME. rdar://7065446

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76079 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoCleanup a couple loops and improve a comment (based on feedback from Fariborz).
Steve Naroff [Thu, 16 Jul 2009 16:21:02 +0000 (16:21 +0000)]
Cleanup a couple loops and improve a comment (based on feedback from Fariborz).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76078 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRemove ASTContext::isObjCObjectPointerType().
Steve Naroff [Thu, 16 Jul 2009 15:41:00 +0000 (15:41 +0000)]
Remove ASTContext::isObjCObjectPointerType().
Convert all clients to use the new predicate on Type.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76076 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agocodegen string literals using private linkage now like llvm-gcc, eliminating
Chris Lattner [Thu, 16 Jul 2009 05:03:48 +0000 (05:03 +0000)]
codegen string literals using private linkage now like llvm-gcc, eliminating
some target hooks.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75895 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUnbreak build?
Daniel Dunbar [Thu, 16 Jul 2009 02:02:48 +0000 (02:02 +0000)]
Unbreak build?

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75887 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate CMake file.
Ted Kremenek [Thu, 16 Jul 2009 01:43:33 +0000 (01:43 +0000)]
Update CMake file.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75885 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMove RegionStoreManager over to using new
Ted Kremenek [Thu, 16 Jul 2009 01:33:37 +0000 (01:33 +0000)]
Move RegionStoreManager over to using new
ValueManager::makeArrayIndex()/convertArrayIndex() methods.  This
handles yet another crash case when reasoning about array indices of
different bitwidth and signedness.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75884 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoTwo changes:
Ted Kremenek [Thu, 16 Jul 2009 01:32:00 +0000 (01:32 +0000)]
Two changes:

(1) Moved the SValuator object from GRExprEngine to ValueManager.  This
   allows ValueManager to use the SValuator when creating SVals.

(2) Added ValueManager::makeArrayIndex() and
    ValueManager::convertToArrayIndex(), two SVal creation methods
    that will help RegionStoreManager always have a consistent set of
    SVals with the same integer size and type when reasoning about
    array indices.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75882 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoGenerate error on declaration containing 'static' and '__attribute__((weak))'
Fariborz Jahanian [Thu, 16 Jul 2009 01:12:24 +0000 (01:12 +0000)]
Generate error on declaration containing 'static' and '__attribute__((weak))'
Patch by Ryan Flynn

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75879 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoupdate makefile.
Zhongxing Xu [Thu, 16 Jul 2009 01:05:34 +0000 (01:05 +0000)]
update makefile.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75878 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoadd copyright comments.
Zhongxing Xu [Thu, 16 Jul 2009 01:03:49 +0000 (01:03 +0000)]
add copyright comments.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75877 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoEnable. Now the LLVM dwarfwriter does not print extra '1' prefix in symbol names...
Devang Patel [Thu, 16 Jul 2009 01:02:47 +0000 (01:02 +0000)]
Enable. Now the LLVM dwarfwriter does not print extra '1' prefix in symbol names (rev. 75875)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75876 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd a primitive clang whole primitive analyzer tool.
Zhongxing Xu [Thu, 16 Jul 2009 01:00:25 +0000 (01:00 +0000)]
Add a primitive clang whole primitive analyzer tool.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75874 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoCommit the initial implementation of call graph building.
Zhongxing Xu [Thu, 16 Jul 2009 00:54:12 +0000 (00:54 +0000)]
Commit the initial implementation of call graph building.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75873 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAvoid crashing for the enclosed test case.
Steve Naroff [Thu, 16 Jul 2009 00:25:06 +0000 (00:25 +0000)]
Avoid crashing for the enclosed test case.

This is fallout from the recent ObjCObjectPointerType rework. I'll work on fixing this tomorrow.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75870 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate for LLVM API change.
Owen Anderson [Thu, 16 Jul 2009 00:14:12 +0000 (00:14 +0000)]
Update for LLVM API change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75869 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUse utility method to create 0-index into ElementRegion.
Ted Kremenek [Thu, 16 Jul 2009 00:00:11 +0000 (00:00 +0000)]
Use utility method to create 0-index into ElementRegion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75865 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFixed a stinko which caused an ast-print test failure.
Fariborz Jahanian [Wed, 15 Jul 2009 23:39:31 +0000 (23:39 +0000)]
Fixed a stinko which caused an ast-print test failure.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75861 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoHandle some more fallout with the conversion of using PointerType for
Ted Kremenek [Wed, 15 Jul 2009 23:23:54 +0000 (23:23 +0000)]
Handle some more fallout with the conversion of using PointerType for
Objective-C pointers to using ObjCObjectPointerType.

Now the checking for 'attribute ((nonnull))' in Sema doesn't emit an error when
trying to apply that attribute to a parameter that is an Objective-C pointer
(this is a regression).

To prevent this regression from occuring in the future, the 'nonnull.c' test was
moved to test/SemaObjC and renamed 'nonnull.m'. I also enhanced the tests to
show that function calls involved a NULL Objective-C pointer constant does not
trigger a warning. This is consistent with GCC, but should likely be fixed.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75856 91177308-0d34-0410-b5e6-96231b3b80d8

15 years ago#ifdef'ed out -ast-print of destructors which caused
Fariborz Jahanian [Wed, 15 Jul 2009 23:22:45 +0000 (23:22 +0000)]
#ifdef'ed out -ast-print of destructors which caused
a test failure, until figuring out what caused the failure.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75855 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdded ASTs to destructor decl AST for default destruction of object's
Fariborz Jahanian [Wed, 15 Jul 2009 22:34:08 +0000 (22:34 +0000)]
Added ASTs to destructor decl AST for default destruction of object's
base/members.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75849 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFix <rdar://problem/7062158> by having BasicStoreManager model values for 'static...
Ted Kremenek [Wed, 15 Jul 2009 22:09:25 +0000 (22:09 +0000)]
Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75844 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoLexically order files in CMakeLists.txt files.
Ted Kremenek [Wed, 15 Jul 2009 21:08:41 +0000 (21:08 +0000)]
Lexically order files in CMakeLists.txt files.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75832 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoReapply r75764: [llvm up] Switch to using the new TargetRegistry
Daniel Dunbar [Wed, 15 Jul 2009 20:25:38 +0000 (20:25 +0000)]
Reapply r75764: [llvm up] Switch to using the new TargetRegistry

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75821 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRemove cast from test case (cast was incorrectly added as part of http://llvm.org...
Steve Naroff [Wed, 15 Jul 2009 19:44:23 +0000 (19:44 +0000)]
Remove cast from test case (cast was incorrectly added as part of http://llvm.org/viewvc/llvm-project?view=rev&revision=75314).

Add new warnings that are being produced.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75816 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRemove default argument, since it isn't being used (suggested by Fariborz).
Steve Naroff [Wed, 15 Jul 2009 19:34:04 +0000 (19:34 +0000)]
Remove default argument, since it isn't being used (suggested by Fariborz).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75815 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRevert r75764 "[llvm up] Switch to using the new TargetRegistry" to fix build.
Argyrios Kyrtzidis [Wed, 15 Jul 2009 18:59:48 +0000 (18:59 +0000)]
Revert r75764 "[llvm up] Switch to using the new TargetRegistry" to fix build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75814 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd comments to indicate why RUN lines are below the source code.
Argyrios Kyrtzidis [Wed, 15 Jul 2009 18:59:40 +0000 (18:59 +0000)]
Add comments to indicate why RUN lines are below the source code.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75813 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd a "t".
Steve Naroff [Wed, 15 Jul 2009 18:50:21 +0000 (18:50 +0000)]
Add a "t".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75810 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoImplement the ObjC pseudo built-in types as clang "BuiltinType's". I say pseudo built...
Steve Naroff [Wed, 15 Jul 2009 18:40:39 +0000 (18:40 +0000)]
Implement the ObjC pseudo built-in types as clang "BuiltinType's". I say pseudo built-in types, since Sema still injects a typedef for recognition (i.e. they aren't truly built-ins from a parser perspective).

This removes the static data/methods on ObjCObjectPointerType while preserving the nice API (no need to fiddle with ASTContext:-).

This patch also adds Type::isObjCBuiltinType().

This should be the last fairly large patch related to recrafting the ObjC type system. The follow-on patches should be fairly small.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75808 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate for raw_fd_ostream API changes. raw_fd_ostream now has a
Dan Gohman [Wed, 15 Jul 2009 17:32:18 +0000 (17:32 +0000)]
Update for raw_fd_ostream API changes. raw_fd_ostream now has a
Force flag to control whether the case of opening an existing
file is considered an error.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75802 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoTweak svn:ignore
Daniel Dunbar [Wed, 15 Jul 2009 09:45:29 +0000 (09:45 +0000)]
Tweak svn:ignore

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75765 91177308-0d34-0410-b5e6-96231b3b80d8

15 years ago[llvm up] Switch to using the new TargetRegistry.
Daniel Dunbar [Wed, 15 Jul 2009 09:43:46 +0000 (09:43 +0000)]
[llvm up] Switch to using the new TargetRegistry.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75764 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoDelete extra whitespaces.
Zhongxing Xu [Wed, 15 Jul 2009 09:04:01 +0000 (09:04 +0000)]
Delete extra whitespaces.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75761 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agorewrite the logic to make it follow the comments more closely.
Zhongxing Xu [Wed, 15 Jul 2009 06:21:18 +0000 (06:21 +0000)]
rewrite the logic to make it follow the comments more closely.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75750 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoEnhance RegionStore's reasoning about Objective-C ivars. More testing to follow.
Ted Kremenek [Wed, 15 Jul 2009 06:09:28 +0000 (06:09 +0000)]
Enhance RegionStore's reasoning about Objective-C ivars.  More testing to follow.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75748 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUse utility method.
Zhongxing Xu [Wed, 15 Jul 2009 05:09:24 +0000 (05:09 +0000)]
Use utility method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75745 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd getName() method to Entity.
Zhongxing Xu [Wed, 15 Jul 2009 04:39:21 +0000 (04:39 +0000)]
Add getName() method to Entity.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75740 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRelax assertion.
Ted Kremenek [Wed, 15 Jul 2009 04:23:32 +0000 (04:23 +0000)]
Relax assertion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75738 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMore test cases revealed that the logic in StoreManager::InvalidateRegion() needs...
Ted Kremenek [Wed, 15 Jul 2009 02:31:43 +0000 (02:31 +0000)]
More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers.  Pointers that were invalidated as integers could later cause problems for clients using them as pointers.  It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.

This patch causes:
- StoreManager::InvalidateRegion() to not used the casted type of a region if
  it would cause a pointer type to be invalidated as a non-pointer type.
- Pushes RegionStore::RetrieveElement() further by handling retrievals from
  symbolic arrays that have been invalidated.  This uses the new SymbolDerived
  construct that was recently introduced.

The result is that the failing test in misc-ps-region-store-x86_64.m now passes.
Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a
test case that motivated this change.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75730 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoIntroduced the notion of a "derived symbol" using the class SymbolDerived.
Ted Kremenek [Wed, 15 Jul 2009 02:27:32 +0000 (02:27 +0000)]
Introduced the notion of a "derived symbol" using the class SymbolDerived.
SymbolDerived allows us to model symbolic values that are related to other
symbols via a region hierarchy. For example, SymbolDerived can be used to model
individual values of a symbolic array.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75728 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoHandle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion.
Ted Kremenek [Tue, 14 Jul 2009 23:52:07 +0000 (23:52 +0000)]
Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75713 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdded a FIXME and prevent crash when listing
Fariborz Jahanian [Tue, 14 Jul 2009 23:41:35 +0000 (23:41 +0000)]
Added a FIXME and prevent crash when listing
a dependent type in the ctor initializer-list.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75712 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoSplit out 'test2' into an i386 and x86_64 file, illustrating how the
Ted Kremenek [Tue, 14 Jul 2009 23:17:22 +0000 (23:17 +0000)]
Split out 'test2' into an i386 and x86_64 file, illustrating how the
test behavior differs between architectures.  When this is no longer
the case, these tests will be merged.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75708 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoUpdate for LLVM API change, and contextify a bunch of related stuff.
Owen Anderson [Tue, 14 Jul 2009 23:10:40 +0000 (23:10 +0000)]
Update for LLVM API change, and contextify a bunch of related stuff.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75705 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoThis test currently only passes for 32-bit archs.
Ted Kremenek [Tue, 14 Jul 2009 22:58:18 +0000 (22:58 +0000)]
This test currently only passes for 32-bit archs.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75698 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFixed a bug in building ctor-initializer AST.
Fariborz Jahanian [Tue, 14 Jul 2009 22:40:50 +0000 (22:40 +0000)]
Fixed a bug in building ctor-initializer AST.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75692 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRemove -ftraditional option, which gcc doesn't actually support. Make
Eli Friedman [Tue, 14 Jul 2009 21:58:17 +0000 (21:58 +0000)]
Remove -ftraditional option, which gcc doesn't actually support.  Make
using -traditional and -traditional-cpp with clang an error because
it's unsupported in clang and causes a significant change in the
semantics of the language.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75690 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRevert 75648 for now. It is causing test failures.
Devang Patel [Tue, 14 Jul 2009 21:31:22 +0000 (21:31 +0000)]
Revert 75648 for now. It is causing test failures.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75684 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoEnhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions. We do this...
Ted Kremenek [Tue, 14 Jul 2009 20:48:22 +0000 (20:48 +0000)]
Enhance RegionStoreManager to handle 'Retrieve's from SymbolicRegions.  We do this by silently wrapping the region with an ElementRegion.  This fixes the failures in misc-ps-region-store.m.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75679 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agofix fallout of the LLVM codegen switching to formatted_raw_ostream.
Chris Lattner [Tue, 14 Jul 2009 20:39:15 +0000 (20:39 +0000)]
fix fallout of the LLVM codegen switching to formatted_raw_ostream.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75675 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoTweak pretty-printing of CompoundVal to make it more useful for debugging.
Ted Kremenek [Tue, 14 Jul 2009 20:21:36 +0000 (20:21 +0000)]
Tweak pretty-printing of CompoundVal to make it more useful for debugging.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75672 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoBuild AST for default ctor-initializer when constructor has
Fariborz Jahanian [Tue, 14 Jul 2009 20:06:22 +0000 (20:06 +0000)]
Build AST for default ctor-initializer when constructor has
out of line definition.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75668 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoSupport data members of array type in default
Fariborz Jahanian [Tue, 14 Jul 2009 18:56:31 +0000 (18:56 +0000)]
Support data members of array type in default
ctor-initializer AST build.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75662 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoMoved a FIXME to where it was meant to be.
Fariborz Jahanian [Tue, 14 Jul 2009 18:29:14 +0000 (18:29 +0000)]
Moved a FIXME to where it was meant to be.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75651 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoIntroduce Type::isAnyPointerType() and convert all clients (suggested by Chris).
Steve Naroff [Tue, 14 Jul 2009 18:25:06 +0000 (18:25 +0000)]
Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).

I don't love the name, however it simplifies the code and is a worthwhile change. If/when we come up with a better name, we can do a search/replace.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75650 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoPatch to build AST for ctor's initializer list according to
Fariborz Jahanian [Tue, 14 Jul 2009 18:24:21 +0000 (18:24 +0000)]
Patch to build AST for ctor's initializer list according to
semantics of order of construction [class.init].

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75649 91177308-0d34-0410-b5e6-96231b3b80d8

15 years ago[llvm up] adjust to match mainline.
Chris Lattner [Tue, 14 Jul 2009 18:18:16 +0000 (18:18 +0000)]
[llvm up] adjust to match mainline.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75647 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRename RecordLayout.h to ASTRecordLayout.h
Anders Carlsson [Tue, 14 Jul 2009 17:29:11 +0000 (17:29 +0000)]
Rename RecordLayout.h to ASTRecordLayout.h

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75641 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoRevert r75614 which depend on r75610 (for LLVM), which was reverted.
Daniel Dunbar [Tue, 14 Jul 2009 16:40:28 +0000 (16:40 +0000)]
Revert r75614 which depend on r75610 (for LLVM), which was reverted.

--- Reverse-merging r75614 into '.':
U    lib/CodeGen/CGDebugInfo.cpp

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75639 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoAdd a "TypeSpecStartLoc" to FieldDecl. Patch contributed by Enea Zaffanella.
Steve Naroff [Tue, 14 Jul 2009 14:58:18 +0000 (14:58 +0000)]
Add a "TypeSpecStartLoc" to FieldDecl. Patch contributed by Enea Zaffanella.

Note: One day, it might be useful to consider adding this info to DeclGroup (as the comments in FunctionDecl/VarDecl suggest). For now, I think this works fine. I considered moving this to ValueDecl (a common ancestor of FunctionDecl/VarDecl/FieldDecl), however this would add overhead to EnumConstantDecl (which would burn memory and isn't necessary).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75635 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoFix the build
Alisdair Meredith [Tue, 14 Jul 2009 08:10:06 +0000 (08:10 +0000)]
Fix the build

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75627 91177308-0d34-0410-b5e6-96231b3b80d8

15 years agoBasic support for C++0x unicode types. Support for literals will follow in an increm...
Alisdair Meredith [Tue, 14 Jul 2009 06:30:34 +0000 (06:30 +0000)]
Basic support for C++0x unicode types.  Support for literals will follow in an incremental patch

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75622 91177308-0d34-0410-b5e6-96231b3b80d8