]> granicus.if.org Git - clang/log
clang
15 years agoRemove some redundant Decl -> Decl castings.
Argyrios Kyrtzidis [Tue, 17 Feb 2009 20:23:54 +0000 (20:23 +0000)]
Remove some redundant Decl -> Decl castings.

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

15 years agoNow that ObjC decls have DeclContexts too, remove an ugly hack from IdentifierResolver.
Argyrios Kyrtzidis [Tue, 17 Feb 2009 20:21:51 +0000 (20:21 +0000)]
Now that ObjC decls have DeclContexts too, remove an ugly hack from IdentifierResolver.

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

15 years agoAll Decls have a DeclContext now, hooray! Fans of consistency rejoice.
Argyrios Kyrtzidis [Tue, 17 Feb 2009 20:20:37 +0000 (20:20 +0000)]
All Decls have a DeclContext now, hooray! Fans of consistency rejoice.

Pass the DeclContext to ObjCIvarDecls as well.

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

15 years agoAdded support for objc's gc attribute in ExtQualType.
Fariborz Jahanian [Tue, 17 Feb 2009 20:16:45 +0000 (20:16 +0000)]
Added support for objc's gc attribute in ExtQualType.

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

15 years agoConvert tabs to spaces.
Ted Kremenek [Tue, 17 Feb 2009 19:53:58 +0000 (19:53 +0000)]
Convert tabs to spaces.

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

15 years agoBackend: Accept -mcpu and -mattr for use by TargetMachine.
Daniel Dunbar [Tue, 17 Feb 2009 19:47:34 +0000 (19:47 +0000)]
Backend: Accept -mcpu and -mattr for use by TargetMachine.

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

15 years agoEnhance tests to exercise more combinations of using the RangeConstraintManager with...
Ted Kremenek [Tue, 17 Feb 2009 19:29:07 +0000 (19:29 +0000)]
Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager.

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

15 years agoRevised RangeConstraintManager based on several discussions with Ben Laurie and
Ted Kremenek [Tue, 17 Feb 2009 19:28:04 +0000 (19:28 +0000)]
Revised RangeConstraintManager based on several discussions with Ben Laurie and
Zhongxing Xu. The resultant code is less than 1/2 the size of the original.

Key highlights:

- All CouldBeXXX methods have been removed. Checking for feasibility is now just
  done in the AddXXX methods.

- RangeSets now represent "all possible values" explicitly as the range set {
  [min, max] } instead of the empty set. The empty set now represents "no
  feasible values". This change consolidated much of the core algorithm to only
  have one code path instead of alternate paths that considered the empty set to
  represent "all possible falues."

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

15 years agoBasicValueFactory: getMaxValue and getMinValue now also handle 'block' pointers.
Ted Kremenek [Tue, 17 Feb 2009 19:22:05 +0000 (19:22 +0000)]
BasicValueFactory: getMaxValue and getMinValue now also handle 'block' pointers.

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

15 years agoccc: Pass -{MM,MMD,MF,MP,MT} to clang. Error on -{M,MM,MG,MQ} which
Daniel Dunbar [Tue, 17 Feb 2009 19:02:12 +0000 (19:02 +0000)]
ccc: Pass -{MM,MMD,MF,MP,MT} to clang. Error on -{M,MM,MG,MQ} which
clang doesn't support yet.
 - See PR3603.

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

15 years agoProof that attribute __overloadable__ works as well as overloadable
Douglas Gregor [Tue, 17 Feb 2009 18:51:14 +0000 (18:51 +0000)]
Proof that attribute __overloadable__ works as well as overloadable

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

15 years agoChange EmitConstantExpr to allow failure.
Daniel Dunbar [Tue, 17 Feb 2009 18:43:32 +0000 (18:43 +0000)]
Change EmitConstantExpr to allow failure.

IRgen no longer relies on isConstantInitializer, instead we just try
to emit the constant. If that fails then in C we emit an error
unsupported (this occurs when Sema accepted something that it doesn't
know how to fold, and IRgen doesn't know how to emit) and in C++ we
emit a guarded initializer.

This ends up handling a few more cases, because IRgen was actually
able to emit some of the constants Sema accepts but can't Evaluate().
For example, PR3398.

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

15 years ago80-cols.
Daniel Dunbar [Tue, 17 Feb 2009 18:31:04 +0000 (18:31 +0000)]
80-cols.

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

15 years agoRenamed ASQualType to ExtQualType to reflect its more
Fariborz Jahanian [Tue, 17 Feb 2009 18:27:45 +0000 (18:27 +0000)]
Renamed ASQualType to ExtQualType to reflect its more
general use; as for, objc2's gc type attributes. No
change in functionality.

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

15 years agoccc: Recognize -isystem.
Daniel Dunbar [Tue, 17 Feb 2009 18:10:48 +0000 (18:10 +0000)]
ccc: Recognize -isystem.

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

15 years agoccc: Assume gcc will accept piped assembler input when using generic GCC toolchain.
Daniel Dunbar [Tue, 17 Feb 2009 18:10:15 +0000 (18:10 +0000)]
ccc: Assume gcc will accept piped assembler input when using generic GCC toolchain.

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

15 years agoccc: Fix a FIXME.
Daniel Dunbar [Tue, 17 Feb 2009 18:07:00 +0000 (18:07 +0000)]
ccc: Fix a FIXME.

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

15 years agoAdd '_assert' to list of known panic functions.
Ted Kremenek [Tue, 17 Feb 2009 17:48:52 +0000 (17:48 +0000)]
Add '_assert' to list of known panic functions.

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

15 years agoDon't include alloca.h if it doesn't exist.
Ben Laurie [Tue, 17 Feb 2009 17:33:31 +0000 (17:33 +0000)]
Don't include alloca.h if it doesn't exist.

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

15 years agoHandle fatal errors.
Ben Laurie [Tue, 17 Feb 2009 17:32:22 +0000 (17:32 +0000)]
Handle fatal errors.

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

15 years agoBe sure to initialize Name.
Mike Stump [Tue, 17 Feb 2009 17:18:36 +0000 (17:18 +0000)]
Be sure to initialize Name.

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

15 years agoFixup spacing a little.
Mike Stump [Tue, 17 Feb 2009 17:00:02 +0000 (17:00 +0000)]
Fixup spacing a little.

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

15 years agoRemove the error about redefining library functions. It's causing too
Douglas Gregor [Tue, 17 Feb 2009 16:03:01 +0000 (16:03 +0000)]
Remove the error about redefining library functions. It's causing too
much pain when compiling the Linux kernel (PR3592).

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

15 years agoGrammar tweak.
Daniel Dunbar [Tue, 17 Feb 2009 15:49:03 +0000 (15:49 +0000)]
Grammar tweak.

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

15 years agoAs an experimental hack, emit "instantiated from" information in
Chris Lattner [Tue, 17 Feb 2009 08:44:50 +0000 (08:44 +0000)]
As an experimental hack, emit "instantiated from" information in
diagnostics.  I'm not sure I want to keep this, but hey, it's easy
and could be useful or something, even if guarded by a
-fshow-me-tons-of-details option.  A silly example is:

#define A B
#define C A
#define D C

int y = D;

We now emit:

t.c:11:9: error: use of undeclared identifier 'B'
int y = D;
        ^
t.c:9:11: note: instantiated from:
#define D C
          ^
t.c:8:11: note: instantiated from:
#define C A
          ^
t.c:7:11: note: instantiated from:
#define A B
          ^

A more useful example is from tgmath:

t.c:4:9: error: no matching function for call to '__tg_acos'
 return acos(x);
        ^~~~~~~
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:51:17: note: instantiated from:
#define acos(x) __tg_acos(x)
                ^
... candidate set follows ...

This does not yet print ranges in instantiation info, (e.g. highlighting the
range "__tg_acos(x)" in the last example), but that could be added if we
decide this is a good idea :).

Thoughts and bug reports welcome!

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

15 years agoadd an accessor.
Chris Lattner [Tue, 17 Feb 2009 08:39:06 +0000 (08:39 +0000)]
add an accessor.

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

15 years agoemit:
Chris Lattner [Tue, 17 Feb 2009 08:12:06 +0000 (08:12 +0000)]
emit:
t.c:4:9: error: invalid type 'short *' to __real operator
                         __tg_choose (__real__(z), C##f(z), (C)(z), C##l(z)),
                                      ^
instead of:
t.c:4:9: error: invalid type 'short *' to __real or __imag operator
                         __tg_choose (__real__(z), C##f(z), (C)(z), C##l(z)),
                                      ^

fixing a fixme.  It would be even fancier to get the spelling of the token, but I
don't care *that* much :)

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

15 years agoadd an accessor.
Chris Lattner [Tue, 17 Feb 2009 08:04:48 +0000 (08:04 +0000)]
add an accessor.

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

15 years agoSpell __always_inline__ correctly.
Daniel Dunbar [Tue, 17 Feb 2009 07:57:58 +0000 (07:57 +0000)]
Spell __always_inline__ correctly.

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

15 years agox86_64 ABI: Fix assert on return of _Complex long double.
Daniel Dunbar [Tue, 17 Feb 2009 07:55:55 +0000 (07:55 +0000)]
x86_64 ABI: Fix assert on return of _Complex long double.

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

15 years agosink a call to getInstantiationLoc to eliminate an assertion.
Chris Lattner [Tue, 17 Feb 2009 07:54:55 +0000 (07:54 +0000)]
sink a call to getInstantiationLoc to eliminate an assertion.

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

15 years agobreak down EmitCaretDiagnostic to use more primitive calls.
Chris Lattner [Tue, 17 Feb 2009 07:51:53 +0000 (07:51 +0000)]
break down EmitCaretDiagnostic to use more primitive calls.

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

15 years agoUpdate checker build.
Ted Kremenek [Tue, 17 Feb 2009 07:47:57 +0000 (07:47 +0000)]
Update checker build.

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

15 years agoadd some files to fix the cmake build, patch by Piotr Rak!
Chris Lattner [Tue, 17 Feb 2009 07:40:10 +0000 (07:40 +0000)]
add some files to fix the cmake build, patch by Piotr Rak!

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

15 years agosplit caret diagnostic printing out into its own function.
Chris Lattner [Tue, 17 Feb 2009 07:38:37 +0000 (07:38 +0000)]
split caret diagnostic printing out into its own function.

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

15 years agosimplify some code.
Chris Lattner [Tue, 17 Feb 2009 07:34:34 +0000 (07:34 +0000)]
simplify some code.

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

15 years agoremove "; candidates are/is:" from various ambiguity diagnostics.
Chris Lattner [Tue, 17 Feb 2009 07:29:20 +0000 (07:29 +0000)]
remove "; candidates are/is:" from various ambiguity diagnostics.
2 out of 2 people on irc prefer them gone :)

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

15 years agoclarify the behavior of note.
Chris Lattner [Tue, 17 Feb 2009 07:07:29 +0000 (07:07 +0000)]
clarify the behavior of note.

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

15 years agofix a minor bug with my previous patch
Chris Lattner [Tue, 17 Feb 2009 06:52:20 +0000 (06:52 +0000)]
fix a minor bug with my previous patch

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

15 years agofix notes so that they are always filtered with the same logic
Chris Lattner [Tue, 17 Feb 2009 06:49:55 +0000 (06:49 +0000)]
fix notes so that they are always filtered with the same logic
as the last non-note diagnostic that preceeded them.  This ensures
that diagnostics in main files which have notes with locations in
system headers get all the bits and pieces emitted or not in a
unit.  This fixes PR3215.

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

15 years agoIf a source range comes through a function-like macro expansion,
Chris Lattner [Tue, 17 Feb 2009 05:19:10 +0000 (05:19 +0000)]
If a source range comes through a function-like macro expansion,
highlight the arguments to the macro as well as the identifier.

Before:

t.c:3:9: error: no matching function for call to '__tg_acos'; candidates are:
 return acos(x);
        ^~~~

after:

t.c:3:9: error: no matching function for call to '__tg_acos'; candidates are:
 return acos(x);
        ^~~~~~~

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

15 years agoFix broken line.
Ted Kremenek [Tue, 17 Feb 2009 05:01:10 +0000 (05:01 +0000)]
Fix broken line.

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

15 years agoStatic Analyzer driver/options (partial) cleanup:
Ted Kremenek [Tue, 17 Feb 2009 04:27:41 +0000 (04:27 +0000)]
Static Analyzer driver/options (partial) cleanup:
- Move all analyzer options logic to AnalysisConsumer.cpp.
- Unified specification of stores/constraints/output to be:
   -analyzer-output=...
   -analyzer-store=...
   -analyzer-constraints=...
  instead of -analyzer-range-constraints, -analyzer-store-basic, etc.
- Updated drivers (ccc-analyzer, scan-builds, new ccc) to obey this new
  interface
- Updated test cases to conform to new driver options

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

15 years agoStatic variables and functions won't collide with standard library
Douglas Gregor [Tue, 17 Feb 2009 03:23:10 +0000 (03:23 +0000)]
Static variables and functions won't collide with standard library
functions, so if we're declaring a static we should implicitly declare
a library function by the same name (e.g., malloc, strdup). Fixes PR3592.

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

15 years agoAdd SSSE3 header
Anders Carlsson [Tue, 17 Feb 2009 03:05:04 +0000 (03:05 +0000)]
Add SSSE3 header

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

15 years agox86_64 ABI: Implement classification for bit-fields.
Daniel Dunbar [Tue, 17 Feb 2009 02:45:44 +0000 (02:45 +0000)]
x86_64 ABI: Implement classification for bit-fields.

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

15 years agoremove dead macros
Chris Lattner [Tue, 17 Feb 2009 02:42:31 +0000 (02:42 +0000)]
remove dead macros

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

15 years agoexplicitly cast integers to double. This a) silences any
Chris Lattner [Tue, 17 Feb 2009 02:41:36 +0000 (02:41 +0000)]
explicitly cast integers to double.  This a) silences any
possible future "data loss" warnings, and b) makes it intensely
obvious to the user what the impl of these functions do in a
ambiguity error.

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

15 years agoasin support. No we don't care about complex int :)
Chris Lattner [Tue, 17 Feb 2009 02:37:35 +0000 (02:37 +0000)]
asin support.  No we don't care about complex int :)

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

15 years agohand macro expand this to make "candidate" set printing more useful. However,
Chris Lattner [Tue, 17 Feb 2009 02:30:54 +0000 (02:30 +0000)]
hand macro expand this to make "candidate" set printing more useful.  However,
Now no candidates are printed because the 'notes' are in a system header. :(

#include <tgmath-sofar.h>
 double foo2(short *x) {
  return acos(x);
}

t.c:10:10: error: no matching function for call to '__tg_acos'; candidates are:
  return acos(x);
         ^~~~
1 diagnostic generated.

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

15 years agoadd support for integers to tgmath functions. I apparently need to provide
Chris Lattner [Tue, 17 Feb 2009 02:22:33 +0000 (02:22 +0000)]
add support for integers to tgmath functions.  I apparently need to provide
all the integer types other than char/short to avoid overload ambiguities.

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

15 years agostart converting over to attr(overloadable). Unfortunately, this
Chris Lattner [Tue, 17 Feb 2009 02:14:31 +0000 (02:14 +0000)]
start converting over to attr(overloadable).  Unfortunately, this
produces really horrible diagnostics when overload ambiguities
happen:

t.c:10:10: error: call to '__tg_acos' is ambiguous; candidates are:
  return acos(x);
         ^~~~
In file included from t.c:1:
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^
/Users/sabre/llvm/Debug/Headers/tgmath-sofar.h:49:1: note: candidate function
__TG_RC_1(x, acos, cacos)
^

A possible fix is to just not use macros for this, which I'll probably go for,
but it would be nice to emit the type at the call, so we know what we asked for!

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

15 years agoMake PragmaPackStack be a private class in SemaAttr and make its
Chris Lattner [Tue, 17 Feb 2009 01:09:29 +0000 (01:09 +0000)]
Make PragmaPackStack be a private class in SemaAttr and make its
instance in Sema be a pimpl.

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

15 years agoAdded ClassTemplateSpecializationDecl, which is a subclass of
Douglas Gregor [Tue, 17 Feb 2009 01:05:43 +0000 (01:05 +0000)]
Added ClassTemplateSpecializationDecl, which is a subclass of
CXXRecordDecl that is used to represent class template
specializations. These are canonical declarations that can refer to
either an actual class template specialization in the code, e.g.,

  template<> class vector<bool> { };

or to a template instantiation. However, neither of these features is
actually implemented yet, so really we're just using (and uniqing) the
declarations to make sure that, e.g., A<int> is a different type from
A<float>. Note that we carefully distinguish between what the user
wrote in the source code (e.g., "A<FLOAT>") and the semantic entity it
represents (e.g., "A<float, int>"); the former is in the sugared Type,
the latter is an actual Decl.

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

15 years agocopying and assignment of sema seem unwise :)
Chris Lattner [Tue, 17 Feb 2009 00:58:30 +0000 (00:58 +0000)]
copying and assignment of sema seem unwise :)

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

15 years agomove attribute(packed) sema support out of SemaDecl into a new SemaAttr.cpp file.
Chris Lattner [Tue, 17 Feb 2009 00:57:29 +0000 (00:57 +0000)]
move attribute(packed) sema support out of SemaDecl into a new SemaAttr.cpp file.

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

15 years agosimplify this code and make it use highlight range. This
Chris Lattner [Tue, 17 Feb 2009 00:51:07 +0000 (00:51 +0000)]
simplify this code and make it use highlight range.  This
makes -emit-html do nice things for code like:

#define FOO(X) y

int FOO(4
);

highlighting the FOO instance as well as the ) on the next line properly.

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

15 years agoccc: Pass -f[no-]math-errno to clang.
Daniel Dunbar [Tue, 17 Feb 2009 00:42:05 +0000 (00:42 +0000)]
ccc: Pass -f[no-]math-errno to clang.

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

15 years agoadd support for -fno-math-errno, and validate that it affects sema properly.
Chris Lattner [Tue, 17 Feb 2009 00:35:09 +0000 (00:35 +0000)]
add support for -fno-math-errno, and validate that it affects sema properly.

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

15 years agosema no longer explodes, yay!
Chris Lattner [Tue, 17 Feb 2009 00:32:04 +0000 (00:32 +0000)]
sema no longer explodes, yay!

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

15 years agoremove extraneous .
Chris Lattner [Tue, 17 Feb 2009 00:30:31 +0000 (00:30 +0000)]
remove extraneous .

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

15 years agox86_64 ABI: Handle va_arg arguments with alignment > 8.
Daniel Dunbar [Mon, 16 Feb 2009 23:38:56 +0000 (23:38 +0000)]
x86_64 ABI: Handle va_arg arguments with alignment > 8.

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

15 years agoDiagnose non-power-of-2 arguments to attribute aligned.
Daniel Dunbar [Mon, 16 Feb 2009 23:37:57 +0000 (23:37 +0000)]
Diagnose non-power-of-2 arguments to attribute aligned.

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

15 years agoAdd support for throwing exceptions to the nonfragile ABI
Anders Carlsson [Mon, 16 Feb 2009 22:59:18 +0000 (22:59 +0000)]
Add support for throwing exceptions to the nonfragile ABI

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

15 years agoAdded implementation of objc2's gc API calls for
Fariborz Jahanian [Mon, 16 Feb 2009 22:52:32 +0000 (22:52 +0000)]
Added implementation of objc2's gc API calls for
nonfragile abi.

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

15 years agoSupport IRgen of sqrt -> llvm.sqrt, pow -> llvm.pow.
Daniel Dunbar [Mon, 16 Feb 2009 22:43:43 +0000 (22:43 +0000)]
Support IRgen of sqrt -> llvm.sqrt, pow -> llvm.pow.

 - Define pow[lf]?, sqrt[lf]? as builtins.

 - Add -fmath-errno option which binds to LangOptions.MathErrno

 - Add new builtin flag Builtin::Context::isConstWithoutErrno for
   functions which can be marked as const if errno isn't respected for
   math functions. Sema automatically marks these functions as const
   when they are defined, if MathErrno=0.

 - IRgen uses const attribute on sqrt and pow library functions to
   decide if it can use the llvm intrinsic.

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

15 years agoUnbreak clang.
Daniel Dunbar [Mon, 16 Feb 2009 22:42:44 +0000 (22:42 +0000)]
Unbreak clang.

Doug: please verify that it is expected that LastIdx can be less that
NumInits. And perhaps add a comment so that Chris doesn't break your
code. :)

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

15 years agoMake "implicit int" an error in C++ (unless we're allowing Microsoft
Douglas Gregor [Mon, 16 Feb 2009 22:38:20 +0000 (22:38 +0000)]
Make "implicit int" an error in C++ (unless we're allowing Microsoft
extensions). This caught a couple bugs in our test suite :)

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

15 years agofix long lines.
Chris Lattner [Mon, 16 Feb 2009 22:33:34 +0000 (22:33 +0000)]
fix long lines.

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

15 years agofix volatile handling with ExtVectorElementExpr, so that we
Chris Lattner [Mon, 16 Feb 2009 22:25:49 +0000 (22:25 +0000)]
fix volatile handling with ExtVectorElementExpr, so that we
emit two volatile loads for:
typedef __attribute__(( ext_vector_type(4) )) float float4;

float test(volatile float4 *P) {
  return P->x+P->y;
}

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

15 years agoModify getMaxValue/getMinValue to take pointer values as well.
Ted Kremenek [Mon, 16 Feb 2009 22:21:33 +0000 (22:21 +0000)]
Modify getMaxValue/getMinValue to take pointer values as well.

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

15 years agointroduce and use a new ExtVectorElementExpr::isArrow method, at Eli's suggestion
Chris Lattner [Mon, 16 Feb 2009 22:14:05 +0000 (22:14 +0000)]
introduce and use a new ExtVectorElementExpr::isArrow method, at Eli's suggestion

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

15 years agoUse isa<...> instead of dyn_cast<...> where result is not needed.
Fariborz Jahanian [Mon, 16 Feb 2009 22:09:26 +0000 (22:09 +0000)]
Use isa<...> instead of dyn_cast<...> where result is not needed.

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

15 years agodiagnose uses of deprecated typenames and tags.
Chris Lattner [Mon, 16 Feb 2009 22:07:16 +0000 (22:07 +0000)]
diagnose uses of deprecated typenames and tags.
We now pass all the deprecation tests in the objc.dg suite.

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

15 years agoBasicValueFactory: Add utility methods 'Add1' and 'Sub1' to get a persistent APSInt...
Ted Kremenek [Mon, 16 Feb 2009 22:07:07 +0000 (22:07 +0000)]
BasicValueFactory: Add utility methods 'Add1' and 'Sub1' to get a persistent APSInt value that is 1 greater or 1 less than the provided value.

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

15 years agoBasicValueFactory: Add getMaxValue and getMinValue variants that take QualTypes.
Ted Kremenek [Mon, 16 Feb 2009 22:00:30 +0000 (22:00 +0000)]
BasicValueFactory: Add getMaxValue and getMinValue variants that take QualTypes.

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

15 years agoSupply the header corresponding to a library builtin as a separate argument to the...
Douglas Gregor [Mon, 16 Feb 2009 21:58:21 +0000 (21:58 +0000)]
Supply the header corresponding to a library builtin as a separate argument to the LIBBUILTIN macro

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

15 years agoAdd getSymbolManager() and getBasicVals() accessors to GRStateRef.
Ted Kremenek [Mon, 16 Feb 2009 21:57:23 +0000 (21:57 +0000)]
Add getSymbolManager() and getBasicVals() accessors to GRStateRef.

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

15 years agoFix IRgen of __builtin_memset.
Daniel Dunbar [Mon, 16 Feb 2009 21:52:05 +0000 (21:52 +0000)]
Fix IRgen of __builtin_memset.
 - Fix test case to not only have negative tests.

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

15 years agorandom cleanup
Chris Lattner [Mon, 16 Feb 2009 21:43:00 +0000 (21:43 +0000)]
random cleanup

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

15 years agoFixes a bug in property type encoding.
Fariborz Jahanian [Mon, 16 Feb 2009 21:41:04 +0000 (21:41 +0000)]
Fixes a bug in property type encoding.

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

15 years agowarn about interfaces that inherit from deprecated classes.
Chris Lattner [Mon, 16 Feb 2009 21:33:09 +0000 (21:33 +0000)]
warn about interfaces that inherit from deprecated classes.

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

15 years agowarn about categories that implement deprecated interfaces.
Chris Lattner [Mon, 16 Feb 2009 21:30:01 +0000 (21:30 +0000)]
warn about categories that implement deprecated interfaces.

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

15 years agoearly exit on error. This code is creating an invalid decl on error. This is
Chris Lattner [Mon, 16 Feb 2009 21:26:43 +0000 (21:26 +0000)]
early exit on error.  This code is creating an invalid decl on error.  This is
dubious, but at least mark it as an invalid decl.

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

15 years agoenhance ExtVectorElementExpr to allow V->xxyy to work like (*V).xxyy
Chris Lattner [Mon, 16 Feb 2009 21:11:58 +0000 (21:11 +0000)]
enhance ExtVectorElementExpr to allow V->xxyy  to work like (*V).xxyy

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

15 years agoWhen merging from a function with a prototype to a function without a
Douglas Gregor [Mon, 16 Feb 2009 20:58:07 +0000 (20:58 +0000)]
When merging from a function with a prototype to a function without a
prototype, synthesize ParmVarDecls for prototype-less FunctionDecl.

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

15 years agoTest passes with -analyzer-range-contraints.
Ted Kremenek [Mon, 16 Feb 2009 19:43:20 +0000 (19:43 +0000)]
Test passes with -analyzer-range-contraints.

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

15 years agoRemove an unused variable (which caused a warning).
Fariborz Jahanian [Mon, 16 Feb 2009 19:40:26 +0000 (19:40 +0000)]
Remove an unused variable (which caused a warning).

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

15 years agodo not warn about uses of deprecated decls when in an out-of-line objc method
Chris Lattner [Mon, 16 Feb 2009 19:35:30 +0000 (19:35 +0000)]
do not warn about uses of deprecated decls when in an out-of-line objc method
whose declaration was declared as deprecated.

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

15 years agoRemove FindIvarDeclaration. Use lookupInstanceVariable is is functionally
Fariborz Jahanian [Mon, 16 Feb 2009 19:35:27 +0000 (19:35 +0000)]
Remove FindIvarDeclaration. Use lookupInstanceVariable is is functionally
the same.

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

15 years agocleanup, add a getMethod() that takes a bool to indicate whether
Chris Lattner [Mon, 16 Feb 2009 19:30:12 +0000 (19:30 +0000)]
cleanup, add a getMethod() that takes a bool to indicate whether
the caller wants class or instance methods.

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

15 years agoWhen inside an Objective-C++ method, name lookup should look into the
Douglas Gregor [Mon, 16 Feb 2009 19:28:42 +0000 (19:28 +0000)]
When inside an Objective-C++ method, name lookup should look into the
interface for ivars before assuming that this is an unresolved
function name.

Fixes <rdar://problem/6590445>.

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

15 years agoadd assertion
Chris Lattner [Mon, 16 Feb 2009 19:27:54 +0000 (19:27 +0000)]
add assertion

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

15 years agocode cleanup
Chris Lattner [Mon, 16 Feb 2009 19:25:52 +0000 (19:25 +0000)]
code cleanup

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

15 years agowrap long lines.
Chris Lattner [Mon, 16 Feb 2009 19:24:31 +0000 (19:24 +0000)]
wrap long lines.

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

15 years agoassert/ErrorUnsupported in unimplemented stub functions instead of
Daniel Dunbar [Mon, 16 Feb 2009 18:48:45 +0000 (18:48 +0000)]
assert/ErrorUnsupported in unimplemented stub functions instead of
miscompiling.

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

15 years agoAdd pretty-printing (for GraphViz) support for RangeConstraintManager.
Ted Kremenek [Mon, 16 Feb 2009 18:42:56 +0000 (18:42 +0000)]
Add pretty-printing (for GraphViz) support for RangeConstraintManager.

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

15 years agoAdd support for deprecating ObjC properties. Unlike GCC, we warn that the
Chris Lattner [Mon, 16 Feb 2009 18:35:08 +0000 (18:35 +0000)]
Add support for deprecating ObjC properties.  Unlike GCC, we warn that the
property is deprecated, not the getter/setter if the attribute is on
the property.

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

15 years agopropagate attributes onto property decls.
Chris Lattner [Mon, 16 Feb 2009 18:32:47 +0000 (18:32 +0000)]
propagate attributes onto property decls.

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

15 years agodefine __OBJC2__ for objc's nonfragile abi.
Fariborz Jahanian [Mon, 16 Feb 2009 18:28:48 +0000 (18:28 +0000)]
define __OBJC2__ for objc's nonfragile abi.

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