]> granicus.if.org Git - clang/log
clang
12 years agoBasic: import IntrusiveRefCntPtr<> into clang namespace
Dylan Noblesmith [Mon, 20 Feb 2012 14:00:23 +0000 (14:00 +0000)]
Basic: import IntrusiveRefCntPtr<> into clang namespace

The class name is long enough without the llvm:: added.
Also bring in RefCountedBase and RefCountedBaseVPTR.

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

12 years agoAdd 3dNOW intrinsic header to x86intrin.h, conditioned on __3dNOW__ to
Chandler Carruth [Mon, 20 Feb 2012 07:35:45 +0000 (07:35 +0000)]
Add 3dNOW intrinsic header to x86intrin.h, conditioned on __3dNOW__ to
match the behavior of GCC. Also add a test for these intrinsics, which
apparently have *zero* tests. =[ Not surprisingly, Clang crashed when
compiling these.

Fix the bug in CodeGen where we failed to bitcast the argument type to
x86mmx prior to calling the LLVM intrinsic. This fixes an assert on the
new 3dnow-builtins.c test.

This is one issue impacting the efforts to get Clang to emulate the
Microsoft intrinsics headers -- 3dnow intrinsics are implictitly made
available there.

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

12 years agoObjCMessageExpr: Don't leave SelLocsKind uninitialized when the send is implicit.
Benjamin Kramer [Mon, 20 Feb 2012 00:20:48 +0000 (00:20 +0000)]
ObjCMessageExpr: Don't leave SelLocsKind uninitialized when the send is implicit.

Fixes PR11929. Found by valgrind.

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

12 years agoSet the location of the template keyword when allocating a new TemplateIdAnnotation.
Benjamin Kramer [Sun, 19 Feb 2012 23:37:39 +0000 (23:37 +0000)]
Set the location of the template keyword when allocating a new TemplateIdAnnotation.

Found by valgrind.

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

12 years agoMake the regular expressions in this test more narrow to ensure we're
Chandler Carruth [Sun, 19 Feb 2012 23:09:50 +0000 (23:09 +0000)]
Make the regular expressions in this test more narrow to ensure we're
actually matching the write substrings, and stop looking for a leading
'/' to try and finish fixing darwin and other hosts.

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

12 years agoobjective-c modern translator: comment out private ivars
Fariborz Jahanian [Sun, 19 Feb 2012 19:00:05 +0000 (19:00 +0000)]
objective-c modern translator: comment out private ivars
declared in class extension and implementation.

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

12 years ago[clang.py] Implement Type.is_function_variadic
Gregory Szorc [Sun, 19 Feb 2012 18:28:33 +0000 (18:28 +0000)]
[clang.py] Implement Type.is_function_variadic

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

12 years agoEmit a warning when list-initializing a std::initializer_list member.
Sebastian Redl [Sun, 19 Feb 2012 16:31:05 +0000 (16:31 +0000)]
Emit a warning when list-initializing a std::initializer_list member.

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

12 years agoHarden test against for operator new(unsigned int).
Benjamin Kramer [Sun, 19 Feb 2012 16:20:58 +0000 (16:20 +0000)]
Harden test against for operator new(unsigned int).

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

12 years agoMake heap-allocation of std::initializer_list 'work'.
Sebastian Redl [Sun, 19 Feb 2012 16:03:09 +0000 (16:03 +0000)]
Make heap-allocation of std::initializer_list 'work'.

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

12 years agoMake std::initializer_list member initializers 'work'.
Sebastian Redl [Sun, 19 Feb 2012 15:41:54 +0000 (15:41 +0000)]
Make std::initializer_list member initializers 'work'.

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

12 years agoRefuse to compile global std::initializer_lists instead of doing completely the wrong...
Sebastian Redl [Sun, 19 Feb 2012 14:53:49 +0000 (14:53 +0000)]
Refuse to compile global std::initializer_lists instead of doing completely the wrong thing.

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

12 years agoGet recursive initializer lists to work and add a test. Codegen of std::initializer_l...
Sebastian Redl [Sun, 19 Feb 2012 12:28:02 +0000 (12:28 +0000)]
Get recursive initializer lists to work and add a test. Codegen of std::initializer_list is now complete. Onward to array new.

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

12 years agoAdd a testcase for using objects with list-constructors, and fix a Sema crash by...
Sebastian Redl [Sun, 19 Feb 2012 12:27:56 +0000 (12:27 +0000)]
Add a testcase for using objects with list-constructors, and fix a Sema crash by repeating an old hack.

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

12 years agoAdd a testcase to show that temporaries from the initializer list are destroyed corre...
Sebastian Redl [Sun, 19 Feb 2012 12:27:51 +0000 (12:27 +0000)]
Add a testcase to show that temporaries from the initializer list are destroyed correctly.

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

12 years agoAdd a testcase for start+end implementations of std::initializer_list.
Sebastian Redl [Sun, 19 Feb 2012 12:27:47 +0000 (12:27 +0000)]
Add a testcase for start+end implementations of std::initializer_list.

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

12 years agoFix a crash for nested initializer list initialization. Still does the wrong thing...
Sebastian Redl [Sun, 19 Feb 2012 12:27:43 +0000 (12:27 +0000)]
Fix a crash for nested initializer list initialization. Still does the wrong thing in CodeGen, in that it never destructs anything.

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

12 years agoRemove dead code.
Ahmed Charles [Sun, 19 Feb 2012 11:57:29 +0000 (11:57 +0000)]
Remove dead code.

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

12 years agoDon't check for /lib and /usr/lib.
Rafael Espindola [Sun, 19 Feb 2012 02:43:03 +0000 (02:43 +0000)]
Don't check for /lib and /usr/lib.

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

12 years agoOur handling of variables in FileCheck looks really broken on windws. Just
Rafael Espindola [Sun, 19 Feb 2012 02:33:09 +0000 (02:33 +0000)]
Our handling of variables in FileCheck looks really broken on windws. Just
give up on matching the path prefix for the libraries.

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

12 years agoAdd an extra CHECK line to make sure TOOLCHAIN2 matches just the path
Rafael Espindola [Sun, 19 Feb 2012 02:23:50 +0000 (02:23 +0000)]
Add an extra CHECK line to make sure TOOLCHAIN2 matches just the path
prefix.

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

12 years agoLooks like we use forward slashes for header search but back slashes for
Rafael Espindola [Sun, 19 Feb 2012 02:03:47 +0000 (02:03 +0000)]
Looks like we use forward slashes for header search but back slashes for
libraries on windows. Use two variables to make this test pass.

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

12 years agoTry to match the linker being named ld.exe. Second try at fixing the windows bots.
Rafael Espindola [Sun, 19 Feb 2012 01:52:23 +0000 (01:52 +0000)]
Try to match the linker being named ld.exe. Second try at fixing the windows bots.

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

12 years agoDon't assume a path starts with a /. Should fix the windows bot.
Rafael Espindola [Sun, 19 Feb 2012 01:47:01 +0000 (01:47 +0000)]
Don't assume a path starts with a /. Should fix the windows bot.

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

12 years agoImplement a -gcc-toolchain command line option that does the same as
Rafael Espindola [Sun, 19 Feb 2012 01:38:32 +0000 (01:38 +0000)]
Implement a -gcc-toolchain command line option that does the same as
configure's --with-gcc-toolchain. The configure option is now just a default
value for the command line one.

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

12 years agoTeach analyzer that blocks with no captures are globals. Fixes <rdar://problem/10348...
Ted Kremenek [Sat, 18 Feb 2012 22:41:01 +0000 (22:41 +0000)]
Teach analyzer that blocks with no captures are globals.  Fixes <rdar://problem/10348049>.

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

12 years agoImplement constant expression support for __real__ and __imag__ on lvalue
Richard Smith [Sat, 18 Feb 2012 22:04:06 +0000 (22:04 +0000)]
Implement constant expression support for __real__ and __imag__ on lvalue
complex numbers. Treat complex numbers as arrays of the corresponding component
type, in order to make std::complex behave properly if implemented in terms of
_Complex T.

Apparently libstdc++'s std::complex is implemented this way, and we were
rejecting a member like this:

  constexpr double real() { return __real__ val; }

because it was marked constexpr but unable to produce a constant expression.

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

12 years agoFix crash in analyzer diagnostic generation involving subexpressions of OpaqueValueEx...
Ted Kremenek [Sat, 18 Feb 2012 22:02:57 +0000 (22:02 +0000)]
Fix crash in analyzer diagnostic generation involving subexpressions of OpaqueValueExpr not appearing in the ParentMap.  Fixes <rdar://problem/10797980>.

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

12 years agoTeach analyzer about NSAutoreleasePool -allocWithZone:. Fixes <rdar://problem/10640253>.
Ted Kremenek [Sat, 18 Feb 2012 21:37:48 +0000 (21:37 +0000)]
Teach analyzer about NSAutoreleasePool -allocWithZone:.  Fixes <rdar://problem/10640253>.

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

12 years agoAdd analyzer test for using of C++ references with ObjC object pointers, reported...
Ted Kremenek [Sat, 18 Feb 2012 21:27:25 +0000 (21:27 +0000)]
Add analyzer test for using of C++ references with ObjC object pointers, reported in <rdar://problem/10569024>.

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

12 years agoFix wrong-code bug: __imag on a scalar lvalue should produce a zero rvalue,
Richard Smith [Sat, 18 Feb 2012 20:53:32 +0000 (20:53 +0000)]
Fix wrong-code bug: __imag on a scalar lvalue should produce a zero rvalue,
rather than an lvalue referring to the scalar.

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

12 years agoAdopt ExprEngine and checkers to ObjC property refactoring. Everything was working...
Ted Kremenek [Sat, 18 Feb 2012 20:53:30 +0000 (20:53 +0000)]
Adopt ExprEngine and checkers to ObjC property refactoring.  Everything was working, but now diagnostics are aware of message expressions implied by uses of properties.  Fixes <rdar://problem/9241180>.

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

12 years agoDefault to not using __cxa_atexit on Solaris.
David Chisnall [Sat, 18 Feb 2012 17:00:56 +0000 (17:00 +0000)]
Default to not using __cxa_atexit on Solaris.

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

12 years agoRemove a debugging line accidentally left in the last commit.
David Chisnall [Sat, 18 Feb 2012 16:20:35 +0000 (16:20 +0000)]
Remove a debugging line accidentally left in the last commit.

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

12 years agoImplement #pragma redefine_extname.
David Chisnall [Sat, 18 Feb 2012 16:12:34 +0000 (16:12 +0000)]
Implement #pragma redefine_extname.

This fixes PR5172 and allows clang to compile C++ programs on Solaris using the system headers.

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

12 years agoAdd -Wstrncat-size and -Wempty-body to release notes.
Dmitri Gribenko [Sat, 18 Feb 2012 14:13:26 +0000 (14:13 +0000)]
Add -Wstrncat-size and -Wempty-body to release notes.

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

12 years agoRemove unused but set variable.
Benjamin Kramer [Sat, 18 Feb 2012 11:35:28 +0000 (11:35 +0000)]
Remove unused but set variable.

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

12 years agoRewrite variable capture within lambda expressions and blocks,
Douglas Gregor [Sat, 18 Feb 2012 09:37:24 +0000 (09:37 +0000)]
Rewrite variable capture within lambda expressions and blocks,
eliminating a bunch of redundant code and properly modeling how the
captures of outside blocks/lambdas affect the types seen by inner
captures.

This new scheme makes two passes over the capturing scope stack. The
first pass goes up the stack (from innermost to outermost), assessing
whether the capture looks feasible and stopping when it either hits
the scope where the variable is declared or when it finds an existing
capture. The second pass then walks down the stack (from outermost to
innermost), capturing the variable at each step and updating the
captured type and the type that an expression referring to that
captured variable would see. It also checks type-specific
restrictions, such as the inability to capture an array within a
block. Note that only the first odr-use of each
variable needs to do the full walk; subsequent uses will find the
capture immediately, so multiple walks need not occur.

The same routine that builds the captures can also compute the type of
the captures without signaling errors and without actually performing
the capture. This functionality is used to determine the type of
declaration references as well as implementing the weird decltype((x))
rule within lambda expressions.

The capture code now explicitly takes sides in the debate over C++
core issue 1249, which concerns the type of captures within nested
lambdas. We opt to use the more permissive, more useful definition
implemented by GCC rather than the one implemented by EDG.

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

12 years agoUnify our computation of the type of a captured reference to a
Douglas Gregor [Sat, 18 Feb 2012 05:51:20 +0000 (05:51 +0000)]
Unify our computation of the type of a captured reference to a
variable; it was previously duplicated, and one of the copies failed
to account for outer non-mutable lambda captures.

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

12 years agoFix a problem in the GCC testsuite, exposed by r150557. Compound literals
Richard Smith [Sat, 18 Feb 2012 04:58:18 +0000 (04:58 +0000)]
Fix a problem in the GCC testsuite, exposed by r150557. Compound literals
are represented as prvalues in C++; don't be fooled into thinking they're
global lvalues.

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

12 years agoAdd a bunch of missing calls to DiagnoseSentinelCalls. <rdar://problem/10885993>.
Eli Friedman [Sat, 18 Feb 2012 04:48:30 +0000 (04:48 +0000)]
Add a bunch of missing calls to DiagnoseSentinelCalls.  <rdar://problem/10885993>.

This should probably be refactored... but it isn't completely obvious what refactoring is best.

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

12 years agoChange wording of warning about using __bridge casts in non-ARC.
Ted Kremenek [Sat, 18 Feb 2012 04:42:38 +0000 (04:42 +0000)]
Change wording of warning about using __bridge casts in non-ARC.

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

12 years agoDiagnose uses of deleted destructors and inaccessible defaulted destructors.
Richard Smith [Sat, 18 Feb 2012 04:13:32 +0000 (04:13 +0000)]
Diagnose uses of deleted destructors and inaccessible defaulted destructors.

We had two separate issues here: firstly, varions functions were assuming that
they did not need to perform semantic checks on trivial destructors (this is
not true in C++11, where a trivial destructor can nonetheless be private or
deleted), and a bunch of DiagnoseUseOfDecl calls were missing for uses of
destructors.

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

12 years agoInitial refactoring of 'ShouldDeleteSpecialMember', in preparation for providing
Richard Smith [Sat, 18 Feb 2012 02:02:13 +0000 (02:02 +0000)]
Initial refactoring of 'ShouldDeleteSpecialMember', in preparation for providing
decent diagnostics. Finish the work of combining all the 'ShouldDelete'
functions into one. In unifying the code, fix a minor bug where an anonymous
union with a deleted default constructor as a member of a union wasn't being
considered as making the outer union's default constructor deleted.

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

12 years agoFix comment.
Chad Rosier [Sat, 18 Feb 2012 01:20:35 +0000 (01:20 +0000)]
Fix comment.

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

12 years agoAdd in a caching mechanism so that forward declarations are replaced
Eric Christopher [Sat, 18 Feb 2012 00:50:17 +0000 (00:50 +0000)]
Add in a caching mechanism so that forward declarations are replaced
with full types if they exist.

rdar://10809898 and rdar://10209967 and rdar://10400981

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

12 years agoFormatting.
Eric Christopher [Sat, 18 Feb 2012 00:50:14 +0000 (00:50 +0000)]
Formatting.

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

12 years agoRemove UpdateCompletedType from the debug info emission. We now
Eric Christopher [Sat, 18 Feb 2012 00:50:08 +0000 (00:50 +0000)]
Remove UpdateCompletedType from the debug info emission. We now
emit less than complete types on purpose on occasion and so
our caches aren't useful for this kind of lazy emitting.

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

12 years agoRemove redundant check.
Chad Rosier [Sat, 18 Feb 2012 00:37:07 +0000 (00:37 +0000)]
Remove redundant check.

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

12 years agoHave conjured symbols depend on LocationContext, to add context sensitivity for funct...
Ted Kremenek [Fri, 17 Feb 2012 23:13:45 +0000 (23:13 +0000)]
Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once.

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

12 years ago[analyzer] Malloc Checker more tests.
Anna Zaks [Fri, 17 Feb 2012 22:35:34 +0000 (22:35 +0000)]
[analyzer] Malloc Checker more tests.

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

12 years ago[analyzer] Fix another false positive in the Malloc Checker, by making
Anna Zaks [Fri, 17 Feb 2012 22:35:31 +0000 (22:35 +0000)]
[analyzer] Fix another false positive in the Malloc Checker, by making
it aware of CString APIs that return the input parameter.

Malloc Checker needs to know how the 'strcpy' function is
evaluated. Introduce the dependency on CStringChecker for that.
CStringChecker knows all about these APIs.

Addresses radar://10864450

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

12 years ago[analyzer] Generalize function name checking in CString checker.
Anna Zaks [Fri, 17 Feb 2012 22:35:26 +0000 (22:35 +0000)]
[analyzer] Generalize function name checking in CString checker.
(Ex: It was not treating __inline_strcpy as strcpy. Will add tests that
rely on this later on.)

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

12 years agomodern objc translator: postpone writing of class definitions
Fariborz Jahanian [Fri, 17 Feb 2012 22:20:12 +0000 (22:20 +0000)]
modern objc translator: postpone writing of class definitions
until the end when all their ivars are known then.

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

12 years agomodern objc writer: more work for category metadata rewrite
Fariborz Jahanian [Fri, 17 Feb 2012 20:33:00 +0000 (20:33 +0000)]
modern objc writer: more work for category metadata rewrite
and some cleanup.

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

12 years agoDon't emit optimization-specific intrinsic at -O0.
Richard Smith [Fri, 17 Feb 2012 20:12:52 +0000 (20:12 +0000)]
Don't emit optimization-specific intrinsic at -O0.

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

12 years agomodern objc translator: category metadata related
Fariborz Jahanian [Fri, 17 Feb 2012 18:40:41 +0000 (18:40 +0000)]
modern objc translator: category metadata related
patch.

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

12 years agoOn Solaris, define some standard macros that the Solaris headers require in
David Chisnall [Fri, 17 Feb 2012 18:35:11 +0000 (18:35 +0000)]
On Solaris, define some standard macros that the Solaris headers require in
order to not be broken (by Solaris standards).

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

12 years agoDe-nest tentative parsing to disambiguate lambdas from designators; no
Douglas Gregor [Fri, 17 Feb 2012 16:41:16 +0000 (16:41 +0000)]
De-nest tentative parsing to disambiguate lambdas from designators; no
functionality change.

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

12 years agoDon't allow non-empty ParenListExprs as array-new initializers.
Sebastian Redl [Fri, 17 Feb 2012 08:42:32 +0000 (08:42 +0000)]
Don't allow non-empty ParenListExprs as array-new initializers.

Don't know what I was thinking there. Fixes PR12023.

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

12 years agoBasic code generation support for std::initializer_list.
Sebastian Redl [Fri, 17 Feb 2012 08:42:25 +0000 (08:42 +0000)]
Basic code generation support for std::initializer_list.

We now generate temporary arrays to back std::initializer_list objects
initialized with braces. The initializer_list is then made to point at
the array. We support both ptr+size and start+end forms, although
the latter is untested.

Array lifetime is correct for temporary std::initializer_lists (e.g.
call arguments) and local variables. It is untested for new expressions
and member initializers.

Things left to do:
Massively increase the amount of testing. I need to write tests for
start+end init lists, temporary objects created as a side effect of
initializing init list objects, new expressions, member initialization,
creation of temporary objects (e.g. std::vector) for initializer lists,
and probably more.
Get lifetime "right" for member initializers and new expressions. Not
that either are very useful.
Implement list-initialization of array new expressions.

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

12 years ago[clang.py] Implement Type.element_count
Gregory Szorc [Fri, 17 Feb 2012 07:47:38 +0000 (07:47 +0000)]
[clang.py] Implement Type.element_count

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

12 years ago[clang.py] Implement Type.element_type
Gregory Szorc [Fri, 17 Feb 2012 07:44:46 +0000 (07:44 +0000)]
[clang.py] Implement Type.element_type

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

12 years agoThe clang half of r150794: after the construction of a global or static const
Richard Smith [Fri, 17 Feb 2012 07:31:37 +0000 (07:31 +0000)]
The clang half of r150794: after the construction of a global or static const
variable ends, if the variable has a trivial destructor and no mutable
subobjects then emit an llvm.invariant.start call for it. globalopt knows to
make the variable const when evaluating this.

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

12 years agoIndex "12" holds the vtable, not "9".
Eric Christopher [Fri, 17 Feb 2012 07:09:48 +0000 (07:09 +0000)]
Index "12" holds the vtable, not "9".

Fixes lots of gdb testsuite failures.

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

12 years agoBug fix: do not emit static const local variables with mutable members
Richard Smith [Fri, 17 Feb 2012 06:48:11 +0000 (06:48 +0000)]
Bug fix: do not emit static const local variables with mutable members
as constants.

Refactor and simplify all the separate checks for whether a type can be
emitted as a constant.

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

12 years agoWhen performing IRGen on a global, emit it as a constant if:
Richard Smith [Fri, 17 Feb 2012 04:54:50 +0000 (04:54 +0000)]
When performing IRGen on a global, emit it as a constant if:
 1) It has a const-qualified type, and
 2) It has no mutable members, and
 3) It has no dynamic initialization, and
 4) It has trivial destruction.
Remove the unnecessary requirement that the type be POD. This allows us to
mark all constexpr objects with no mutable members as 'constant'.

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

12 years agoOnly add 'const' to the type of variables captured in a lambda when
Douglas Gregor [Fri, 17 Feb 2012 04:02:59 +0000 (04:02 +0000)]
Only add 'const' to the type of variables captured in a lambda when
we're capturing it by value in a non-mutable lambda.

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

12 years agoDisambiguate between C++11 lambda expressions and C99 array
Douglas Gregor [Fri, 17 Feb 2012 03:49:44 +0000 (03:49 +0000)]
Disambiguate between C++11 lambda expressions and C99 array
designators in the parser. In the worst case, this disambiguation
requires tentative parsing just past the closing ']', but for most
cases we'll be able to tell by looking ahead just one token (without
going into the heavyweight tentative parsing machinery).

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

12 years agoMake sure all remaining parts of the constant evaluator are aware that an array
Richard Smith [Fri, 17 Feb 2012 03:35:37 +0000 (03:35 +0000)]
Make sure all remaining parts of the constant evaluator are aware that an array
can be represented by an LValue, and use that to simplify the code a little.

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

12 years agoWhether an argument is required (in contrast with being an
John McCall [Fri, 17 Feb 2012 03:33:10 +0000 (03:33 +0000)]
Whether an argument is required (in contrast with being an
optional argument passed through the variadic ellipsis)
potentially affects how we need to lower it.  Propagate
this information down to the various getFunctionInfo(...)
overloads on CodeGenTypes.  Furthermore, rename those
overloads to clarify their distinct purposes, and make
sure we're calling the right one in the right place.
This has a nice side-effect of making it easier to construct
a function type, since the 'variadic' bit is no longer
separable.

This shouldn't really change anything for our existing
platforms, with one minor exception --- we should now call
variadic ObjC methods with the ... in the "right place"
(see the test case), which I guess matters for anyone
running GNUStep on MIPS.  Mostly it's just a substantial
clean-up.

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

12 years agoBlock expressions always have a prototyped function type; expose this
John McCall [Fri, 17 Feb 2012 03:32:35 +0000 (03:32 +0000)]
Block expressions always have a prototyped function type; expose this
in the AST accessor and micro-optimize it very slightly.

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

12 years agoAdd a castAs<U> accessor to CanQual<T>.
John McCall [Fri, 17 Feb 2012 03:32:17 +0000 (03:32 +0000)]
Add a castAs<U> accessor to CanQual<T>.

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

12 years agoRework the Sema/AST/IRgen dance for the lambda closure type's
Douglas Gregor [Fri, 17 Feb 2012 03:02:34 +0000 (03:02 +0000)]
Rework the Sema/AST/IRgen dance for the lambda closure type's
conversion to function pointer. Rather than having IRgen synthesize
the body of this function, we instead introduce a static member
function "__invoke" with the same signature as the lambda's
operator() in the AST. Sema then generates a body for the conversion
to function pointer which simply returns the address of __invoke. This
approach makes it easier to evaluate a call to the conversion function
as a constant, makes the linkage of the __invoke function follow the
normal rules for member functions, and may make life easier down the
road if we ever want to constexpr'ify some of lambdas.

Note that IR generation is responsible for filling in the body of
__invoke (Sema just adds a dummy body), because the body can't
generally be expressed in C++.

Eli, please review!

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

12 years agoTests for the fixits which Doug added in r150727.
Richard Smith [Fri, 17 Feb 2012 01:39:04 +0000 (01:39 +0000)]
Tests for the fixits which Doug added in r150727.

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

12 years agoReject continue/break statements within members of local functions nested within
Richard Smith [Fri, 17 Feb 2012 01:35:32 +0000 (01:35 +0000)]
Reject continue/break statements within members of local functions nested within
loop and switch statements, by teaching Scope that a function scope never has
a continue/break parent for the purposes of control flow. Remove the hack in
block and lambda expressions which worked around this by pretending that such
expressions were continue/break scopes.

Remove Scope::ControlParent, since it's unused.

In passing, teach default statements to recover properly from a missing ';', and
add a fixit for same to both default and case labels (the latter already
recovered correctly).

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

12 years agoPR12012: Fix a regression in r150419 where we would try (and fail) to
Richard Smith [Fri, 17 Feb 2012 00:44:16 +0000 (00:44 +0000)]
PR12012: Fix a regression in r150419 where we would try (and fail) to
zero-initialize class types with virtual bases when constant-evaluating an
initializer.

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

12 years agoobjective-c translator. More stuff for modern meta-data.
Fariborz Jahanian [Fri, 17 Feb 2012 00:06:14 +0000 (00:06 +0000)]
objective-c translator. More stuff for modern meta-data.

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

12 years agoReapply r150631:
Eric Christopher [Thu, 16 Feb 2012 22:54:45 +0000 (22:54 +0000)]
Reapply r150631:

    "Add a completed/incomplete type difference. This allows us to have
    partial types for contexts and forward decls while allowing us to
    complete types later on for debug purposes.

    This piggy-backs on the metadata replacement and rauw changes
    for temporary nodes and takes advantage of the incremental
    support I added in earlier. This allows us to, if we decide,
    to limit adding methods and variables to structures in order
    to limit the amount of debug information output into a .o file.

    The caching is a bit complicated though so any thoughts on
    untangling that are welcome."

with a fix:

 - Remove all RAUW during type construction by adding stub versions
   of types that we later complete.

and some TODOs:

 - Add an RAUW cache for forward declared types so that we can replace
   them at the end of compilation.
 - Remove the code that updates on completed types because we no
   longer need to have that happen. We emit incomplete types on
   purpose and only want to know when we want to complete them.

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

12 years agoElide copy construction in new expressions. PR11757.
Eli Friedman [Thu, 16 Feb 2012 22:45:48 +0000 (22:45 +0000)]
Elide copy construction in new expressions.  PR11757.

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

12 years agoAvoid infinite mutual recursion in DiagnoseInvalidRedeclaration.
Kaelyn Uhrain [Thu, 16 Feb 2012 22:40:59 +0000 (22:40 +0000)]
Avoid infinite mutual recursion in DiagnoseInvalidRedeclaration.

Don't try to typo-correct a method redeclaration to declarations not in
the current record as it could lead to infinite recursion if CorrectTypo
finds more than one correction candidate in a parent record.

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

12 years ago[analyzer] MallocChecker: more tests.
Anna Zaks [Thu, 16 Feb 2012 22:26:15 +0000 (22:26 +0000)]
[analyzer] MallocChecker: more tests.

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

12 years ago[analyzer] Malloc Checker: Clean up bug naming:
Anna Zaks [Thu, 16 Feb 2012 22:26:12 +0000 (22:26 +0000)]
[analyzer] Malloc Checker: Clean up bug naming:
 - Rename the category "Logic Error" -> "Memory Error".
 - Shorten all the messages.

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

12 years ago[analyzer] Malloc Checker: Make the diagnostic visitor handle the case
Anna Zaks [Thu, 16 Feb 2012 22:26:07 +0000 (22:26 +0000)]
[analyzer] Malloc Checker: Make the diagnostic visitor handle the case
of failing realloc. + Minor cleanups.

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

12 years agoPacify gcc's -Wreturn-type
Matt Beaumont-Gay [Thu, 16 Feb 2012 22:15:50 +0000 (22:15 +0000)]
Pacify gcc's -Wreturn-type

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

12 years agofix the property list metadata name.
Fariborz Jahanian [Thu, 16 Feb 2012 21:57:59 +0000 (21:57 +0000)]
fix the property list metadata name.

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

12 years agoImprove recovery for lambda expressions that have 'mutable' or a
Douglas Gregor [Thu, 16 Feb 2012 21:53:36 +0000 (21:53 +0000)]
Improve recovery for lambda expressions that have 'mutable' or a
trailing return type but not a '()'. Recover by inserting the
parentheses. Thanks to Xeo on IRC for the example.

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

12 years agomodern objective-c translator: write the root class meta-data.
Fariborz Jahanian [Thu, 16 Feb 2012 21:37:05 +0000 (21:37 +0000)]
modern objective-c translator: write the root class meta-data.

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

12 years agoLambda closure types are always considered to be like "local" classes,
Douglas Gregor [Thu, 16 Feb 2012 21:36:18 +0000 (21:36 +0000)]
Lambda closure types are always considered to be like "local" classes,
even if they are not within a function scope. Teach template
instantiation to treat them as such, and make sure that we have a
local instantiation scope when instantiating default arguments and
static data members.

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

12 years agoMake sure we still reject static data members in anonymous unions in C++11.
Richard Smith [Thu, 16 Feb 2012 21:23:54 +0000 (21:23 +0000)]
Make sure we still reject static data members in anonymous unions in C++11.

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

12 years agoAdd checker visitation hooks in ExprEngine::Visit() for common no-op expressions...
Ted Kremenek [Thu, 16 Feb 2012 20:56:01 +0000 (20:56 +0000)]
Add checker visitation hooks in ExprEngine::Visit() for common no-op expressions.  To be used later.

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

12 years agoRevert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also...
Ted Kremenek [Thu, 16 Feb 2012 20:48:04 +0000 (20:48 +0000)]
Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine.  Also have it based on adding predecessors/successors, not node allocation.  No measurable performance change."

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

12 years agoC++11 allows unions to have static data members. Remove the corresponding
Richard Smith [Thu, 16 Feb 2012 20:41:22 +0000 (20:41 +0000)]
C++11 allows unions to have static data members. Remove the corresponding
restriction and add some tests.

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

12 years agoMove ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have...
Ted Kremenek [Thu, 16 Feb 2012 20:19:30 +0000 (20:19 +0000)]
Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine.  Also have it based on adding predecessors/successors, not node allocation.  No measurable performance change.

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

12 years agoMinor cleanup to node data structures in ExplodedGraph. No functionality change.
Ted Kremenek [Thu, 16 Feb 2012 20:19:25 +0000 (20:19 +0000)]
Minor cleanup to node data structures in ExplodedGraph.  No functionality change.

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

12 years agoTweak the comment on the 'q' length modifier again.
Hans Wennborg [Thu, 16 Feb 2012 18:58:32 +0000 (18:58 +0000)]
Tweak the comment on the 'q' length modifier again.

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

12 years agomodern objc translator: meta-data generation for first
Fariborz Jahanian [Thu, 16 Feb 2012 18:54:09 +0000 (18:54 +0000)]
modern objc translator: meta-data generation for first
part of class meta-data.

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

12 years agoFix this test to work with and without Asserts mode.
Dan Gohman [Thu, 16 Feb 2012 18:51:05 +0000 (18:51 +0000)]
Fix this test to work with and without Asserts mode.

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

12 years agoUpdate comment as per Joerg's comment on r150697.
Hans Wennborg [Thu, 16 Feb 2012 18:19:51 +0000 (18:19 +0000)]
Update comment as per Joerg's comment on r150697.

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

12 years agoIn Objective-C++, allow the keyword 'class' to be used as a property
Douglas Gregor [Thu, 16 Feb 2012 18:19:22 +0000 (18:19 +0000)]
In Objective-C++, allow the keyword 'class' to be used as a property
name for dot syntax, e.g., NSObject.class or foo.class. For other
C++-keywords-as-method-names, use message send syntax. Fixes
<rdar://problem/10794452>.

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