]> granicus.if.org Git - clang/log
clang
12 years agoAdd missing initialization in the ContentCache. Seriously, when do
Douglas Gregor [Sat, 19 Nov 2011 09:42:42 +0000 (09:42 +0000)]
Add missing initialization in the ContentCache. Seriously, when do
constructors go below public member functions?

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

12 years agoEnable delayed template parsing for friend functions declared at template class scope.
Francois Pichet [Fri, 18 Nov 2011 23:47:17 +0000 (23:47 +0000)]
Enable delayed template parsing for friend functions declared at template class scope.

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

12 years agoFixed implicit instantiations source range.
Abramo Bagnara [Fri, 18 Nov 2011 08:08:52 +0000 (08:08 +0000)]
Fixed implicit instantiations source range.

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

12 years agoRefine placement of LangOptions object in CompilerInvocation by adding a new baseclas...
Ted Kremenek [Fri, 18 Nov 2011 04:32:13 +0000 (04:32 +0000)]
Refine placement of LangOptions object in CompilerInvocation by adding a new baseclass CompilerInvocationBase with a custom copy constructor.  This ensures that whenever the CompilerInvocation object's copy constructor is used we always clone the LangOptions object.

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

12 years agoFinish r144971, which was an incomplete commit.
Eli Friedman [Fri, 18 Nov 2011 04:01:36 +0000 (04:01 +0000)]
Finish r144971, which was an incomplete commit.

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

12 years agoFix the meaning of an "empty" record for the case of a zero-length array. Use isEmpt...
Eli Friedman [Fri, 18 Nov 2011 03:47:20 +0000 (03:47 +0000)]
Fix the meaning of an "empty" record for the case of a zero-length array.  Use isEmptyRecord for arguments on x86-32; there are structs of size 0 which don't count as empty.

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

12 years agoMake va_arg on x86-64 compute alignment the same way as argument passing.
Eli Friedman [Fri, 18 Nov 2011 02:44:19 +0000 (02:44 +0000)]
Make va_arg on x86-64 compute alignment the same way as argument passing.

Fixes <rdar://problem/10463281>.

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

12 years ago[analyzer] Warn when non pointer arguments are passed to scanf (only when running...
Anna Zaks [Fri, 18 Nov 2011 02:26:36 +0000 (02:26 +0000)]
[analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker).

There is an open radar to implement better scanf checking as a Sema warning. However, a bit of redundancy is fine in this case.

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

12 years agoA bunch of fixes to argument passing and va_arg on Darwin x86-32 for structures conta...
Eli Friedman [Fri, 18 Nov 2011 02:12:09 +0000 (02:12 +0000)]
A bunch of fixes to argument passing and va_arg on Darwin x86-32 for structures containing an SSE vector.

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

12 years agoDon't try to expand struct arguments containing holes on x86-32. From gcc struct...
Eli Friedman [Fri, 18 Nov 2011 01:32:26 +0000 (01:32 +0000)]
Don't try to expand struct arguments containing holes on x86-32.  From gcc struct layout tests.

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

12 years agoSimplify code for returning a struct for Darwin x86-32 ABI. Use a better type for...
Eli Friedman [Fri, 18 Nov 2011 01:25:50 +0000 (01:25 +0000)]
Simplify code for returning a struct for Darwin x86-32 ABI.  Use a better type for a function returning a struct containing only a pointer.  Handle the edge case of a struct containing only a float or double plus some dead padding instead of asserting.

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

12 years agoc-index-test.c: Fix syntax according to C.
NAKAMURA Takumi [Fri, 18 Nov 2011 00:51:03 +0000 (00:51 +0000)]
c-index-test.c: Fix syntax according to C.

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

12 years ago[analyzer] The compiler warning was disabling the analyzer in this test.
Anna Zaks [Fri, 18 Nov 2011 00:45:20 +0000 (00:45 +0000)]
[analyzer] The compiler warning was disabling the analyzer in this test.

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

12 years agoIgnore empty unions in argument lowering on x86-32. From gcc struct layout tests.
Eli Friedman [Fri, 18 Nov 2011 00:28:11 +0000 (00:28 +0000)]
Ignore empty unions in argument lowering on x86-32.  From gcc struct layout tests.

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

12 years agoChange ASTConsumer::HandleTopLevelDecl to return true for the parser to continue
Argyrios Kyrtzidis [Fri, 18 Nov 2011 00:26:59 +0000 (00:26 +0000)]
Change ASTConsumer::HandleTopLevelDecl to return true for the parser to continue
parsing or false to abort parsing.

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

12 years ago[libclang] Indexing API:
Argyrios Kyrtzidis [Fri, 18 Nov 2011 00:26:51 +0000 (00:26 +0000)]
[libclang] Indexing API:

-For indexDeclaration, also pass the declaration attributes as an array of cursors.
-Rename CXIndexOpt_OneRefPerFile -> CXIndexOpt_SuppressRedundantRefs, and only pass
  a reference if a declaration/definition does not exist in the file.
-Other fixes.

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

12 years ago[libclang] Indexing API: make sure we don't pass declarations/references without...
Argyrios Kyrtzidis [Fri, 18 Nov 2011 00:26:46 +0000 (00:26 +0000)]
[libclang] Indexing API: make sure we don't pass declarations/references without USR or location.

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

12 years agoUse the canonical decl to index so that we can really find it later.
Eric Christopher [Thu, 17 Nov 2011 23:45:00 +0000 (23:45 +0000)]
Use the canonical decl to index so that we can really find it later.

Fixes rdar://10433202

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

12 years agoAdded a clause to the ASTImporter allowing it to
Sean Callanan [Thu, 17 Nov 2011 23:20:56 +0000 (23:20 +0000)]
Added a clause to the ASTImporter allowing it to
import TranslationUnitDecls.

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

12 years ago[analyzer] Do not conjure a symbol when we need to propagate taint.
Anna Zaks [Thu, 17 Nov 2011 23:07:28 +0000 (23:07 +0000)]
[analyzer] Do not conjure a symbol when we need to propagate taint.

When the solver and SValBuilder cannot reason about symbolic expressions (ex: (x+1)*y ), the analyzer conjures a new symbol with no ties to the past. This helps it to recover some path-sensitivity. However, this breaks the taint propagation.

With this commit, we are going to construct the expression even if we cannot reason about it later on if an operand is tainted.

Also added some comments and asserts.

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

12 years agoMake 'LangOptions' in CompilerInvocation a heap-allocated, reference counted object...
Ted Kremenek [Thu, 17 Nov 2011 23:01:24 +0000 (23:01 +0000)]
Make 'LangOptions' in CompilerInvocation a heap-allocated, reference counted object.  I discovered that llvm::RefCountedBase<T> has
a bug where the reference count is copied in the copy constructor, which means that there were cases when the CompilerInvocation
objects created by ASTUnit were actually leaked.  When I fixed that bug locally, it showed that a whole bunch of code assumed
that the LangOptions object that was part of CompilerInvocation was still alive.  By making it heap-allocated and reference counted,
we can keep it around after the CompilerInvocation object goes away.

As part of this change, change CompilerInvocation:getLangOptions() to return a pointer, acting as another clue that this
object may outlive the CompilerInvocation object.

This commit doesn't fix the CompilerInvocation leak itself.  That will come when I commit the fix to llvm::RefCountedBase<T> to
mainline LLVM.

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

12 years agoSimplify crash cleanup logic in ASTUnit::LoadFromCommandLine() by zeroing out two...
Ted Kremenek [Thu, 17 Nov 2011 23:01:17 +0000 (23:01 +0000)]
Simplify crash cleanup logic in ASTUnit::LoadFromCommandLine() by zeroing out two IntrusiveRefCnt pointers after we have assigned their respective values into fields of ASTUnit.

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

12 years ago[analyzer] Minor tweaks to the ProgramState::isTainted().
Anna Zaks [Thu, 17 Nov 2011 22:59:00 +0000 (22:59 +0000)]
[analyzer] Minor tweaks to the ProgramState::isTainted().

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

12 years ago[analyzer] Add a helper method.
Anna Zaks [Thu, 17 Nov 2011 22:57:01 +0000 (22:57 +0000)]
[analyzer] Add a helper method.
Naming could be improved.. But we should first rename the classes in the SVal hierarchy.

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

12 years agoConstant expression evaluation: add support for evaluation of member pointers
Richard Smith [Thu, 17 Nov 2011 22:56:20 +0000 (22:56 +0000)]
Constant expression evaluation: add support for evaluation of member pointers
and base-to-derived casts, and add proper handling of temporaries.

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

12 years agoWhen making a suggestion regarding which module to load rather than
Douglas Gregor [Thu, 17 Nov 2011 22:44:56 +0000 (22:44 +0000)]
When making a suggestion regarding which module to load rather than
preprocess/parse a header, report back with an actual module (which
may be a submodule) rather than just the name of the module.

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

12 years agoAdd the notion of "framework" modules to module maps. Framework
Douglas Gregor [Thu, 17 Nov 2011 22:09:43 +0000 (22:09 +0000)]
Add the notion of "framework" modules to module maps. Framework
modules (obviously) describe frameworks, and understand the header
layout of frameworks.

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

12 years agoIf we're dealing with an overridden buffer in the AST reader, load the
Douglas Gregor [Thu, 17 Nov 2011 19:08:51 +0000 (19:08 +0000)]
If we're dealing with an overridden buffer in the AST reader, load the
file as a virtual file with the stored modification time and size.

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

12 years agodocs/UsersManual.html: Remove obsolete mingw issue.
NAKAMURA Takumi [Thu, 17 Nov 2011 07:54:13 +0000 (07:54 +0000)]
docs/UsersManual.html: Remove obsolete mingw issue.

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

12 years agotest/Frontend/dependency-gen.c: Relax expressions for Win32 host (mingw msys).
NAKAMURA Takumi [Thu, 17 Nov 2011 07:21:33 +0000 (07:21 +0000)]
test/Frontend/dependency-gen.c: Relax expressions for Win32 host (mingw msys).

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

12 years agoRevert r132539 for now, "My testing shows that function stat has no problem with...
NAKAMURA Takumi [Thu, 17 Nov 2011 06:16:05 +0000 (06:16 +0000)]
Revert r132539 for now, "My testing shows that function stat has no problem with trailing separators. (tested on Windows and Darwin)."

It caused PR10331. MSVCRT stat() cannot strip trailing '/'. (can '\')

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

12 years agoInclude named unions in union member init checking
David Blaikie [Thu, 17 Nov 2011 06:01:57 +0000 (06:01 +0000)]
Include named unions in union member init checking

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

12 years agoIn Microsoft mode, make "Unqualified lookup into dependent bases of class templates...
Francois Pichet [Thu, 17 Nov 2011 03:44:24 +0000 (03:44 +0000)]
In Microsoft mode, make "Unqualified lookup into dependent bases of class templates" works  inside default argument instantiation.

This is a little bit tricky because during default argument instantiation the CurContext points to a CXXMethodDecl but we can't use the keyword this or have an implicit member call generated.

This fixes 2 errors when parsing MFC code with clang.

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

12 years agoActually free memory for the module maps
Douglas Gregor [Thu, 17 Nov 2011 02:05:44 +0000 (02:05 +0000)]
Actually free memory for the module maps

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

12 years agoTry to appease the failing buildbot where I can't reproduce the problem
Douglas Gregor [Thu, 17 Nov 2011 01:44:33 +0000 (01:44 +0000)]
Try to appease the failing buildbot where I can't reproduce the problem

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

12 years agoWhen we're loading a framework header, first try to turn the framework
Douglas Gregor [Thu, 17 Nov 2011 01:41:17 +0000 (01:41 +0000)]
When we're loading a framework header, first try to turn the framework
into a module. This module can either be loaded from a module map in
the framework directory (which isn't quite working yet) or inferred
from an umbrella header (which does work, and replaces the existing
hack).

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

12 years ago[analysis] Constify CheckerContext.
Anna Zaks [Thu, 17 Nov 2011 01:09:19 +0000 (01:09 +0000)]
[analysis] Constify CheckerContext.

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

12 years ago[analyzer] Put CheckerConext::getCalleeName out of line.
Anna Zaks [Thu, 17 Nov 2011 01:09:15 +0000 (01:09 +0000)]
[analyzer] Put CheckerConext::getCalleeName out of line.

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

12 years agoclang/Darwin: Use the compiler-rt provided profile library.
Daniel Dunbar [Thu, 17 Nov 2011 00:36:57 +0000 (00:36 +0000)]
clang/Darwin: Use the compiler-rt provided profile library.

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

12 years agotests/Driver/darwin-ld.c: Get rid of the "splatter" test case. We have enough
Daniel Dunbar [Thu, 17 Nov 2011 00:36:53 +0000 (00:36 +0000)]
tests/Driver/darwin-ld.c: Get rid of the "splatter" test case. We have enough
other coverage that actually properly checks features such that this test is not
really adding value anymore.

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

12 years agoAdd missing header for modules test.
Douglas Gregor [Wed, 16 Nov 2011 23:41:39 +0000 (23:41 +0000)]
Add missing header for modules test.

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

12 years agobuild/make/compiler-rt: Don't attempt to build compiler-rt runtime libraries
Daniel Dunbar [Wed, 16 Nov 2011 23:22:07 +0000 (23:22 +0000)]
build/make/compiler-rt: Don't attempt to build compiler-rt runtime libraries
when cross compiling under the current organization.
 - See verbose comment for explanation, justification, and how to fix.

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

12 years agoA module with an umbrella header assumes that all of the headers in
Douglas Gregor [Wed, 16 Nov 2011 23:02:25 +0000 (23:02 +0000)]
A module with an umbrella header assumes that all of the headers in
the umbrella header's directory and its subdirectories are part of the
module (that's why it's an umbrella). Make sure that these headers are
considered to be part of the module for lookup purposes.

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

12 years agoAdded missing ImplicitCastExpr around conversion operator call.
Abramo Bagnara [Wed, 16 Nov 2011 22:46:05 +0000 (22:46 +0000)]
Added missing ImplicitCastExpr around conversion operator call.

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

12 years agoFix Neon builtin pointer argument checking for "sret" builtins.
Bob Wilson [Wed, 16 Nov 2011 21:32:23 +0000 (21:32 +0000)]
Fix Neon builtin pointer argument checking for "sret" builtins.

The code for checking Neon builtin pointer argument types was assuming that
there would only be one pointer argument.  But, for vld2-4 builtins, the first
argument is a special sret pointer where the result will be stored.  So,
instead of scanning all the arguments to find a pointer, have TableGen figure
out the index of the pointer argument that needs checking.  That's better than
scanning all the arguments regardless.  <rdar://problem/10448804>

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

12 years agoFixed crash with initializer lists and unnamed bitfields in the RegionStore
Jim Goodnow II [Wed, 16 Nov 2011 20:29:27 +0000 (20:29 +0000)]
Fixed crash with initializer lists and unnamed bitfields in the RegionStore
Manager. Added test to ensure proper binding of initialized values.
This patch fixes PR11249.

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

12 years agoImplement (de-)serialization of the buffer contents for an overridden
Douglas Gregor [Wed, 16 Nov 2011 20:05:18 +0000 (20:05 +0000)]
Implement (de-)serialization of the buffer contents for an overridden
file in the source manager. This allows us to properly create and use
modules described by module map files without umbrella headers (or
with incompletely umbrella headers). More generally, we can actually
build a PCH file that makes use of  file -> buffer remappings, which
could be useful in libclang in the future.

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

12 years agoUpdate CMake build.
Benjamin Kramer [Wed, 16 Nov 2011 20:05:08 +0000 (20:05 +0000)]
Update CMake build.

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

12 years ago[analyzer] Catch the first taint propagation implied buffer overflow.
Anna Zaks [Wed, 16 Nov 2011 19:58:17 +0000 (19:58 +0000)]
[analyzer] Catch the first taint propagation implied buffer overflow.

Change the ArrayBoundCheckerV2 to be more aggressive in reporting buffer overflows
when the offset is tainted. Previously, we did not report bugs when the state was
underconstrained (not enough information about the bound to determine if there is
an overflow) to avoid false positives. However, if we know that the buffer
offset is tainted - comes in from the user space and can be anything, we should
report it as a bug.

+ The very first example of us catching a taint related bug.
This is the only example we can currently handle. More to come...

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

12 years ago[analyzer] Adding generic taint checker.
Anna Zaks [Wed, 16 Nov 2011 19:58:13 +0000 (19:58 +0000)]
[analyzer] Adding generic taint checker.

The checker is responsible for defining attack surface and adding taint to symbols.

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

12 years ago[analyzer] Adding basic building blocks for taint propagation.
Anna Zaks [Wed, 16 Nov 2011 19:58:10 +0000 (19:58 +0000)]
[analyzer] Adding basic building blocks for taint propagation.
TaintTag.h will contain definitions of different taint kinds and their properties.
TaintManager will be responsible for implementing taint specific operations, storing taint.
ProgramState will provide API to add/remove taint.

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

12 years ago[analyzer] Cleanup: Null->0, comments.
Anna Zaks [Wed, 16 Nov 2011 19:58:05 +0000 (19:58 +0000)]
[analyzer] Cleanup: Null->0, comments.

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

12 years ago[analyzer] Cleanup (NULL -> 0, no doxygen in cpp).
Anna Zaks [Wed, 16 Nov 2011 19:58:02 +0000 (19:58 +0000)]
[analyzer] Cleanup (NULL -> 0, no doxygen in cpp).

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

12 years ago[analyzer] Assert if we ever get an over constrained state.
Anna Zaks [Wed, 16 Nov 2011 19:57:59 +0000 (19:57 +0000)]
[analyzer] Assert if we ever get an over constrained state.

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

12 years ago[analyzer] Factor getCalleeName to the checker context.
Anna Zaks [Wed, 16 Nov 2011 19:57:55 +0000 (19:57 +0000)]
[analyzer] Factor getCalleeName to the checker context.
many checkers are trying to get a name of the callee when visiting
a CallExpr, so provide a convenience API.

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

12 years agoStop claiming that Visual Studio 2005 is a viable basis for building
Chandler Carruth [Wed, 16 Nov 2011 19:29:07 +0000 (19:29 +0000)]
Stop claiming that Visual Studio 2005 is a viable basis for building
Clang. It isn't any more, and we're not going to twist the code around
to make it work.

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

12 years agoAdd -f[no-]address-sanitizer flag
Kostya Serebryany [Wed, 16 Nov 2011 17:34:26 +0000 (17:34 +0000)]
Add -f[no-]address-sanitizer flag

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

12 years agoPR11391: Don't try to evaluate the LHS of a _Complex assignment as an rvalue.
Richard Smith [Wed, 16 Nov 2011 17:22:48 +0000 (17:22 +0000)]
PR11391: Don't try to evaluate the LHS of a _Complex assignment as an rvalue.

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

12 years agoWhen building a module from a module map that isn't simply an umbrella
Douglas Gregor [Wed, 16 Nov 2011 17:04:00 +0000 (17:04 +0000)]
When building a module from a module map that isn't simply an umbrella
header, create our own in-memory buffer to parse all of the
appropriate headers, and use that to build the module. This isn't
end-to-end testable yet; that's coming next.

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

12 years agoFixed missing cast and wrong cast kind in delete expression.
Abramo Bagnara [Wed, 16 Nov 2011 15:42:13 +0000 (15:42 +0000)]
Fixed missing cast and wrong cast kind in delete expression.

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

12 years agoSwitch the remaining modules tests over to -emit-module-from-map.
Douglas Gregor [Wed, 16 Nov 2011 15:22:03 +0000 (15:22 +0000)]
Switch the remaining modules tests over to -emit-module-from-map.

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

12 years ago[libclang] Add a comment in lazyCreateDiags to explain why the check and reset of
Argyrios Kyrtzidis [Wed, 16 Nov 2011 08:59:00 +0000 (08:59 +0000)]
[libclang] Add a comment in lazyCreateDiags to explain why the check and reset of
diagnostic set is necessary.

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

12 years ago[libclang] Make clang_annotateTokens use "file-targeted" deserialization and avoid
Argyrios Kyrtzidis [Wed, 16 Nov 2011 08:58:57 +0000 (08:58 +0000)]
[libclang] Make clang_annotateTokens use "file-targeted" deserialization and avoid
unnecessary deserializations.

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

12 years ago[libclang] Make clang_findReferencesInFile use "file-targeted" deserialization and...
Argyrios Kyrtzidis [Wed, 16 Nov 2011 08:58:54 +0000 (08:58 +0000)]
[libclang] Make clang_findReferencesInFile use "file-targeted" deserialization and avoid
unnecessary deserializations.

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

12 years agoMatch LLVM API change.
Evan Cheng [Wed, 16 Nov 2011 08:38:55 +0000 (08:38 +0000)]
Match LLVM API change.

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

12 years agoFix PR11385: A pointer constant expression which has been cast via an integer is
Richard Smith [Wed, 16 Nov 2011 07:18:12 +0000 (07:18 +0000)]
Fix PR11385: A pointer constant expression which has been cast via an integer is
not safely derived. Don't allow lvalue-to-rvalue conversions on the result of
dereferencing such a pointer.

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

12 years agoMigrate a few more modules tests over to -emit-module-from-map.
Douglas Gregor [Wed, 16 Nov 2011 05:16:30 +0000 (05:16 +0000)]
Migrate a few more modules tests over to -emit-module-from-map.

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

12 years agoTeach ccc-analyzer about -fobjc-arc.
Ted Kremenek [Wed, 16 Nov 2011 05:14:42 +0000 (05:14 +0000)]
Teach ccc-analyzer about -fobjc-arc.

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

12 years ago[libclang] Fix crash on invalid code. Fixes rdar://10451854
Argyrios Kyrtzidis [Wed, 16 Nov 2011 02:35:10 +0000 (02:35 +0000)]
[libclang] Fix crash on invalid code. Fixes rdar://10451854

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

12 years ago[libclang] Indexing API: fill the objc category info for a category implementation and
Argyrios Kyrtzidis [Wed, 16 Nov 2011 02:35:05 +0000 (02:35 +0000)]
[libclang] Indexing API: fill the objc category info for a category implementation and
do not crash if no client container is registered for a declaration context.

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

12 years ago[libclang] Indexing API: make sure we do not try to index local declarations.
Argyrios Kyrtzidis [Wed, 16 Nov 2011 02:35:01 +0000 (02:35 +0000)]
[libclang] Indexing API: make sure we do not try to index local declarations.

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

12 years ago[libclang] Indexing API: if the CXIndexOpt_OneRefPerFile option is set, only report...
Argyrios Kyrtzidis [Wed, 16 Nov 2011 02:34:59 +0000 (02:34 +0000)]
[libclang] Indexing API: if the CXIndexOpt_OneRefPerFile option is set, only report one reference
per file.

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

12 years ago[libclang] In lazyCreateDiags, recreate the diagnostic set if the number of diagnostics
Argyrios Kyrtzidis [Wed, 16 Nov 2011 02:34:55 +0000 (02:34 +0000)]
[libclang] In lazyCreateDiags, recreate the diagnostic set if the number of diagnostics
in the ASTUnit changed.

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

12 years agoFix test on Release builds.
Eli Friedman [Wed, 16 Nov 2011 02:19:03 +0000 (02:19 +0000)]
Fix test on Release builds.

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

12 years agoFix a bunch of really nasty bugs in how we compute alignment for reference lvalues...
Eli Friedman [Wed, 16 Nov 2011 00:42:57 +0000 (00:42 +0000)]
Fix a bunch of really nasty bugs in how we compute alignment for reference lvalues.  PR11376.

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

12 years agoSwitch some more of the modules tests over to "-emit-module-from-map",
Douglas Gregor [Wed, 16 Nov 2011 00:21:54 +0000 (00:21 +0000)]
Switch some more of the modules tests over to "-emit-module-from-map",
and remove stray fprintf.

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

12 years agoAdd support for building a module from a module map to the -cc1
Douglas Gregor [Wed, 16 Nov 2011 00:09:06 +0000 (00:09 +0000)]
Add support for building a module from a module map to the -cc1
interface. This is currently limited to modules with umbrella
headers.

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

12 years agoIn Microsoft mode, make "Unqualified lookup into dependent bases of class templates...
Francois Pichet [Tue, 15 Nov 2011 23:33:34 +0000 (23:33 +0000)]
In Microsoft mode, make "Unqualified lookup into dependent bases of class templates" works  inside static functions.

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

12 years agoRevert r144703. It was a dumb idea anyway; will add the new bits more
Douglas Gregor [Tue, 15 Nov 2011 22:58:25 +0000 (22:58 +0000)]
Revert r144703. It was a dumb idea anyway; will add the new bits more
incrementally with a new frontend action.

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

12 years agoCompute whether a class is trivial correctly for template classes with an explicitly...
Eli Friedman [Tue, 15 Nov 2011 22:39:08 +0000 (22:39 +0000)]
Compute whether a class is trivial correctly for template classes with an explicitly deleted or defaulted special member.  PR11387.

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

12 years agoSplit GenerateModuleAction into its own action, which will start
Douglas Gregor [Tue, 15 Nov 2011 21:49:36 +0000 (21:49 +0000)]
Split GenerateModuleAction into its own action, which will start
differing from GeneratePCHAction fairly soon.

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

12 years agoFixed plausible overloads location.
Abramo Bagnara [Tue, 15 Nov 2011 21:43:28 +0000 (21:43 +0000)]
Fixed plausible overloads location.

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

12 years agoAdd a -cc1-level option -fmodule-name=<name>, which will be used when
Douglas Gregor [Tue, 15 Nov 2011 19:35:01 +0000 (19:35 +0000)]
Add a -cc1-level option -fmodule-name=<name>, which will be used when
building modules.

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

12 years agoRemove one group'ed warning.
Fariborz Jahanian [Tue, 15 Nov 2011 19:25:38 +0000 (19:25 +0000)]
Remove one group'ed warning.

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

12 years agoAdd -Wmismatched-method-attributes flag for when attributes in method definition and
Fariborz Jahanian [Tue, 15 Nov 2011 19:13:36 +0000 (19:13 +0000)]
Add -Wmismatched-method-attributes flag for when attributes in method definition and
their decl. do not match. // rdar://10448471

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

12 years agoTypo.
Chad Rosier [Tue, 15 Nov 2011 19:03:03 +0000 (19:03 +0000)]
Typo.

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

12 years agoFix a regression from 143657. The second pass of the warning options should only...
Chad Rosier [Tue, 15 Nov 2011 18:57:32 +0000 (18:57 +0000)]
Fix a regression from 143657.  The second pass of the warning options should only be emitting
warnings/errors for unknown warning options.  getDiagnosticsInGroup returns false if the
diagnostics is found and true otherwise.  Thus, if we're reporting and we have a valid
diagnostic, we were actually setting the flag and causing mayhem.
rdar://10444207

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

12 years agoTeach the CFG builder how to properly destroy temporaries who
Douglas Gregor [Tue, 15 Nov 2011 15:29:30 +0000 (15:29 +0000)]
Teach the CFG builder how to properly destroy temporaries who
lifetimes have been extended via reference binding. The type of the
reference and the type of the temporary are not necessarily the same,
which could cause a crash. Fixes <rdar://problem/10398199>.

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

12 years agoValidate DiagGroup names in TableGen, they're used as command line arguments so we...
Benjamin Kramer [Tue, 15 Nov 2011 12:54:53 +0000 (12:54 +0000)]
Validate DiagGroup names in TableGen, they're used as command line arguments so we don't want shell meta chars in there.

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

12 years agoWarning option typo correction: When two options have the same edit_distance don...
Benjamin Kramer [Tue, 15 Nov 2011 12:26:39 +0000 (12:26 +0000)]
Warning option typo correction: When two options have the same edit_distance don't display either.

Also add a maximum edit distance threshold, so we don't correct "-Wx" to "-W#pragma-messages".

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

12 years agoFixed a cut&paste error introduced in r141336.
Abramo Bagnara [Tue, 15 Nov 2011 11:25:38 +0000 (11:25 +0000)]
Fixed a cut&paste error introduced in r141336.

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

12 years ago[PCH] When serializing an PseudoObjectExpr or AtomicExpr, the serialization code...
Argyrios Kyrtzidis [Tue, 15 Nov 2011 06:20:27 +0000 (06:20 +0000)]
[PCH] When serializing an PseudoObjectExpr or AtomicExpr, the serialization code must be set
otherwise it will crash with asserts on or it will be written as null pointer.

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

12 years ago[libclang] Indexing API: Pass an implicit ObjCInterfaceDecl (@implementation without...
Argyrios Kyrtzidis [Tue, 15 Nov 2011 06:20:24 +0000 (06:20 +0000)]
[libclang] Indexing API: Pass an implicit ObjCInterfaceDecl (@implementation without @interface)
in a separate indexing callback than its implementation.

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

12 years agoUse Decl's isImplicit field to indicate whether an ObjCInterfaceDecl is 'ImplicitInte...
Argyrios Kyrtzidis [Tue, 15 Nov 2011 06:20:21 +0000 (06:20 +0000)]
Use Decl's isImplicit field to indicate whether an ObjCInterfaceDecl is 'ImplicitInterfaceDecl',
no need to store it in another field.

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

12 years ago[libclang] Introduce a new function to apply the indexing callbacks on an existing
Argyrios Kyrtzidis [Tue, 15 Nov 2011 06:20:16 +0000 (06:20 +0000)]
[libclang] Introduce a new function to apply the indexing callbacks on an existing
CXTranslationUnit, mainly to be used for indexing a PCH.

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

12 years agoFix crash in calling convention code expanding an struct with a complex member.
Eli Friedman [Tue, 15 Nov 2011 02:46:03 +0000 (02:46 +0000)]
Fix crash in calling convention code expanding an struct with a complex member.

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

12 years agoResolve placeholder expressions before trying to deduce
John McCall [Tue, 15 Nov 2011 01:35:18 +0000 (01:35 +0000)]
Resolve placeholder expressions before trying to deduce
'auto'.  Introduce a convenience method to make this a bit
easier, and use it elsewhere.

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

12 years agoRemove extra ';'.
Devang Patel [Tue, 15 Nov 2011 01:30:40 +0000 (01:30 +0000)]
Remove extra ';'.

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

12 years agoThe optimizers figured out how to make this store 6.
Nick Lewycky [Tue, 15 Nov 2011 00:19:16 +0000 (00:19 +0000)]
The optimizers figured out how to make this store 6.

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

12 years agoFix potential memory leak for clients of clang_getOverriddenCursors(). If the number...
Ted Kremenek [Mon, 14 Nov 2011 23:51:37 +0000 (23:51 +0000)]
Fix potential memory leak for clients of clang_getOverriddenCursors().  If the number of overriden cursors is 0, do not allocate an array of CXCursors.  This fixes a memory leak in c-index-test, and clients who use this API in a similar way.

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