Now that I am told MachineRegisterInfo also tracks physical register uses / defs, I can do away with the horribleness I introduced a while back. It's impossible to detect if there is any use of a physical register below an instruction (and before any def of the register) with some cheap book keeping.

llvm-svn: 49105

llvm-svn: 49104

llvm-svn: 49103

llvm-svn: 49102

llvm-svn: 49101

allowing them to be treated the same in some contexts.  A suggestion for a
better name is welcome :)

llvm-svn: 49100

llvm-svn: 49099

llvm-svn: 49098

llvm-svn: 49097

llvm-svn: 49096

llvm-svn: 49095

llvm-svn: 49094

llvm-svn: 49093

llvm-svn: 49092

llvm-svn: 49091

llvm-svn: 49090

better with what compiler invocations that ccc-analyzer actually intercepts.

Fixes suggested by Sam Bishop!

llvm-svn: 49089

It allows Use-Def and Def-Use relations to be treated as graphs.

llvm-svn: 49088

Two changes to Sema::LookupDecl() interface. 
(1) Remove IdLoc (it's never used). 
(2) Add a bool to enable/disable lazy builtin creaation (defaults to true).

This enables us to use LookupDecl() in Sema::isTypeName(), which is also part of this commit.

To make this work, I changed isTypeName() to be a non-const member function. I'm not happy with this, however I fiddled with making LookupDecl() and friends const and it got ugly pretty quickly. We can certainly add it back if/when someone has time to fiddle with it. For now, I thought this simplification was more important than retaining the const-ness. 

llvm-svn: 49087

that describe a bug.

llvm-svn: 49086

llvm-svn: 49085

llvm-svn: 49084

llvm-svn: 49083

object type".  Add a predicate that checks exactly this, as it is equivalent
to checking ot see if the type is *not* a function type, which is faster
to check.

llvm-svn: 49082

object or incomplete types shall not be restrict-qualified."

2) Warn about qualifiers on function types: C99 6.7.3p8: "If the 
specification of a function type includes any type qualifiers, the 
behavior is undefined."

3) Implement restrict on C++ references.

4) fix some locations for various C++ reference diagnostics.

llvm-svn: 49081

llvm-svn: 49080

when some another register is used for argument passing.
Currently is used on Win64.

llvm-svn: 49079

First, we got several CVR propagation cases wrong, which Eli pointed
out in PR2039.

Second, we didn't propagate address space qualifiers correctly, leading
to incorrect lowering of code in CodeGen/address-space.c.

Third, we didn't uniformly propagate the specifier in the array to the
pointer ("int[restrict 4]" -> "int *restrict").

This adds an ASTContext::getArrayDecayedType member that handles the 
non-trivial logic for this seemingly simple operation.

llvm-svn: 49078

GRSimpleVals warnings.  Cleaning up, but now we get multiple bubbles (branches are annotated).

llvm-svn: 49077

llvm-svn: 49076

llvm-svn: 49075

llvm-svn: 49074

in these cases we directly call ccc-analyzer.

llvm-svn: 49073

functionality change.

llvm-svn: 49072

llvm-svn: 49071

node and its inputs.

llvm-svn: 49070

unknown defining inst after PHI elimination.

llvm-svn: 49069

llvm-svn: 49068

llvm-svn: 49066

llvm-svn: 49065