Make clang's AST model sizeof and typeof with potentially-evaluated operands correctly, similar to what we already do with typeid.

llvm-svn: 148610

to "strong" when migrating from GC. // rdar://10532449

llvm-svn: 148607

argument, which was broken and very ugly (and even had a test case to
make *sure* it was broken and ugly). Fixes <rdar://problem/10609117>.

llvm-svn: 148606

llvm-svn: 148599

llvm-svn: 148595

llvm-svn: 148592

llvm-svn: 148586

a forward declaration unless we already have a type. We can fill it in
later if it's actually used.

Fixes PR11345

llvm-svn: 148584

llvm-svn: 148582

llvm-svn: 148577

Add ability to specifiy 'restrict' on parameters of builtins, and correct this oversight for scanf functions.

llvm-svn: 148573

llvm-svn: 148567

llvm-svn: 148566

which have same semantics in mrr as well as arr.
// rdar://10688312

llvm-svn: 148559

llvm-svn: 148554

expansion, in which case it returns a file range in the location where the
argument was spelled.

llvm-svn: 148551

llvm-svn: 148549

the front end into its own class, FrontendInputFile, to make it easier
to introduce new per-input data. No functionality change.

llvm-svn: 148546

Found by the clang static analyzer.

llvm-svn: 148544

Found by clang's own static analyzer.

llvm-svn: 148542

Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category.  Fixes <rdar://problem/10146347>.

llvm-svn: 148533

Implement checker that looks for calls to mktemps and friends that have fewer than 6 Xs.  Implements <rdar://problem/6336672>.

llvm-svn: 148531

multiple checks are exposed as separate checkers, but CheckerManager only creates
one Checker object.

llvm-svn: 148525

Remove PotentiallyPotentiallyEvaluated, and replace it with a much simpler and less error-prone way of handling the relevant cases.  Towards marking of whether a declaration is used more accurately.

llvm-svn: 148522

llvm-svn: 148518

printing.

llvm-svn: 148517

at the given location. 

This could be useful when checkers' logic depends on whether a function
is called with a given macro argument.

llvm-svn: 148516

constexpr.

llvm-svn: 148505

!=, %=, ^=, &=, *=, -=, |=, /=, <<=, <=, >=, and >>= to =.

llvm-svn: 148499

that the given source range encompasses.

llvm-svn: 148481

and returns a character range with file locations.

llvm-svn: 148480

start/end location.

It is commonly needed after calling the function; with this way we avoid
recalculating it.

llvm-svn: 148479

These declarations come from the sample code in the
"Exception Handling ABI for the ARM Architecture" document.

llvm-svn: 148469

Change CheckVectorLogicalOperands to pass params by ref.
Add another test case.

llvm-svn: 148452

llvm-svn: 148441

values and non-type template arguments of integral and enumeration types.

This change causes some legal C++98 code to no longer compile in C++11 mode, by
enforcing the C++11 rule that narrowing integral conversions are not permitted
in the final implicit conversion sequence for the above cases.

llvm-svn: 148439

Change the error when a '+=' follows a declaration to suggest a fixit to '=' instead of just suggesting a ';'.

Old error:
plusequaldeclare1.cc:3:8: error: expected ';' at end of declaration
  int x += 6;
       ^
       ;

New error:
plusequaldeclare1.cc:3:9: error: invalid '+=' at end of declaration; did you
      mean '='?
  int x += 6;
        ^~
        =

llvm-svn: 148433

Includes tests highlighting the cases where accuracy has improved
(there is one call that does no filtering beyond selecting the set
of allowed keywords, and one call that only triggers for ObjC code
for which a test by someone who knows ObjC would be welcome). Also
fixes a small typo in one of the suggestion messages, and drops a
malformed "expected-note" for a suggestion that did not occur even
when the malformed note was committed as r145930.

llvm-svn: 148420

generational scheme for identifiers that avoids searching the hash
tables of a given module more than once for a given
identifier. Previously, loading any new module invalidated all of the
previous lookup results for all identifiers, causing us to perform the
lookups repeatedly.

llvm-svn: 148412

into Lexer and Preprocessor; making it widely available.

llvm-svn: 148410