This reverts commit a786521fa66c72edd308baff0c08961b6d964fb1.

Bots haven't caught up yet, but b...

For InnerPointerChecker to function properly, both the checker itself
and parts of MallocChecker...

Differential Revision: https://reviews.llvm.org/D51072

git-svn-id: https://llvm.org/svn/llvm-pr...

Differential Revision: https://reviews.llvm.org/D50523

git-svn-id: https://llvm.org/svn/llvm-pr...

Differential Revision: https://reviews.llvm.org/D50537

git-svn-id: https://llvm.org/svn/llvm-pr...

Has quite a lot of false positives, disabled behind the flag.

Differential Revision: https://re...

The CoreEngine only gives us a ReturnStmt if the last element in the
CFGBlock is a CFGStmt, othe...

Differential Revision: https://reviews.llvm.org/D51130

git-svn-id: https://llvm.org/svn/llvm-pr...

Current testing setup for analyzer tests with Z3 is rather inconvenient:

There's no way to run ...

Differential Revision: https://reviews.llvm.org/D49570

git-svn-id: https://llvm.org/svn/llvm-pr...

rdar://39701823

Differential Revision: https://reviews.llvm.org/D49901

git-svn-id: https://llv...

Summary:
This patch implements a new cache for the result of SMT queries; with this patch the re...

Differential Revision: https://reviews.llvm.org/D50673

git-svn-id: https://llvm.org/svn/llvm-pr...

Even for a checker being in alpha, some reports about pointees held so little
value to the user ...

This reverts commit 3073790e87378fea9a68fb052185fec9596ef135.

The check is not correct, strlact...

Summary: There is no reason to have a base class for a context anymore as each SMT object carrie...

CXXTemporaryObjectExpr is a sub-class of CXXConstructExpr. If it has arguments
that are structur...

We don't need a new ExpectedOutputs/ convention. Expected outputs are
just another form of test ...

This is tested in a subsequent commit, which allows tracking those values.

Differential Revisio...

Differential Revision: https://reviews.llvm.org/D50508

git-svn-id: https://llvm.org/svn/llvm-p...

At some point, staring at 4k+ LOC file becomes a bit hard.

Differential Revision: https://revie...

This reverts commit 6b43b80320722da41ca6ef7a3b57cc300fb83094.

git-svn-id: https://llvm.org/svn/...

If we get an item from a dictionary, we know that the item is non-null
if and only if the key is...

Differential Revision: https://reviews.llvm.org/D50830

git-svn-id: https://llvm.org/svn/llvm-pr...

Summary:
`CallDecription` can only handle function for the time being. If we want to match c++ m...

The change in the AST in r338135 caused us to accidentally support
inlining constructors of oper...

Differential Revision: https://reviews.llvm.org/D49228

git-svn-id: https://llvm.org/svn/llvm-p...

Lambdas can affect static locals even without an explicit capture.

rdar://39537031

Differentia...

For the following example:

struct Base {
int x;
};

// In a different translation uni...

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

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

This patch fixed an issue where the dynamic type of pointer/reference
object was known by the an...

Does not go to msgNote's.

Differential Revision: https://reviews.llvm.org/D50595

git-svn-id: h...

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

We add check for invalidation of iterators. The only operation we handle here
is the (copy) assi...

Summary:
See also http://lists.llvm.org/pipermail/cfe-users/2016-January/000854.html for
the rea...

ARCMigrator is using code from RetainCountChecker, which is a layering
violation (and it also do...

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

Differential Revision: https://reviews.llvm.org/D50872

git-svn-id: https://llvm.org/svn/llvm-pr...

Summary:
By making SMTConstraintManager a template and passing the SMT constraint type and expr,...

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

Now that it has it's own file, it makes little sense for
isPointerOrReferenceUninit to be this l...

Before this patch, FieldChainInfo used a spaghetti: it took care of way too many cases,
even tho...

In this patch, the following classes and functions have been moved to a header file:

FieldC...

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

The result of the dyn_cast wasn't used to we can just check isa.

git-svn-id: https://llvm.org/s...

The compiler warned:
../tools/clang/lib/StaticAnalyzer/Core/RetainSummaryManager.cpp:329:19: err...

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

Differential Revision: https://reviews.llvm.org/D50904

git-svn-id: https://llvm.org/svn/llvm-p...

Objects local to a function are destroyed right after the statement returning
(part of) them is ...

Differential Revision: https://reviews.llvm.org/D50863

git-svn-id: https://llvm.org/svn/llvm-pr...

Do not crash if a CXXRecordDecl cannot be obtained for an object.

Special thanks for the reprod...

Tracking those can help to provide much better diagnostics in many cases.

In general, most of t...

Just do not generate the note at all in that case.

git-svn-id: https://llvm.org/svn/llvm-projec...

Some files were missed by https://reviews.llvm.org/D50545

Differential Revision: https://review...

This patch is the first part of a series of patches to refactor UninitializedObjectChecker. The ...

Once CFG-side support for argument construction contexts landed in r338436,
the analyzer could m...

Differential Revision: https://reviews.llvm.org/D50108

git-svn-id: https://llvm.org/svn/llvm-pr...

This is a standalone part of the effort to reduce FieldChainInfos inteerface.

Differential Revi...

Some checkers require ASTContext. Having it in the constructor saves a
lot of boilerplate of hav...

Differential Revision: https://reviews.llvm.org/D51071

git-svn-id: https://llvm.org/svn/llvm-pr...

Some of the analyzer tests check the exact plist output, in order to
verify that the diagnostics...

Summary:
Migrate callers to print().

dump() should be useful to downstreams and third parties a...

As of now, all constructor calls are ignored that are being called
by a constructor. The point o...

- Assuming strlcat is used with strlcpy we check as we can if the last argument does not equal ...

Differential Revision: https://reviews.llvm.org/D50869

git-svn-id: https://llvm.org/svn/llvm-pr...

Do not crash if the CXXRecordDecl of an object is not available.

git-svn-id: https://llvm.org/s...

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

Summary:
The loop-widening code processes c++ methods looking for `this` pointers. In
the case ...

Renames InvalidateRegionsWorker and RemoveDeadBindingsWorker

Differential Revision: https://rev...

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

Differential Revision: https://reviews.llvm.org/D50363

git-svn-id: https://llvm.org/svn/llvm-p...

from those that aren't.

This patch changes the way __block variables that aren't captured by
esc...

Linking to ASan for MinGW is similar to MSVC, but MinGW always links
the MSVCRT dynamically, so ...

Bots are still failing.

http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/24...

Summary: Previous to this the example didn't work out of the box, it seems some cmake config cha...

from those that aren't.

This patch changes the way __block variables that aren't captured by
esc...

The initializer of `ParameterCount` was updated from 1 to 0 in r175165,
but the comment was neve...

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D50605

git-svn-id: ht...

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D50606

git-svn-id: ht...

Reviewers: a_sidorin, r.stahl, xazax.hun

Subscribers: rnkovacs, dkrupp, cfe-commits

Differenti...

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

This is patch is a preparation for the proposed inclusion of macro expansions in the plist outpu...

lightweight runtime.

The datasharing flag must be set to `1` when executing SPMD-mode compatible...

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

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

Summary: the crash is casued by an assertion in StringRef.
(llvm::StringRef::front() const: Asse...

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

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

Summary:
clang tools require clang headers to work on real project, e.g. when we
build clangd vi...

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

There are a few leftovers of rC343147 that are not (\w+)\.begin but in
the form of ([-[:alnum:]>...

Currently, ProgramPoint::dump calls the out-of-line function ProgramPoint::print. This causes
li...

Previously we documented GNU binutils and glibc versions required for
ifunc support, but our own...

Summary:
This patch adds
_mm_loadu_si32
_mm_loadu_si16
_mm_storeu_si64
_mm_storeu_si32
_mm_store...

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