Summary:
Similar to Sema typo correction, the Preprocessor typo correction should
also be hidden...

r326937 ("[OpenCL] Remove block invoke function from emitted block
literal struct", 2018-03-07) ...

This reverts r326937 as it broke block argument handling in OpenCL.
See the discussion on https:...

Summary:
Several improvements in preparation for the new backends.

Refactoring:

- Removed dupl...

Move the bit-fields of FunctionProtoType into FunctionTypeBitfields.
This cuts the size of Funct...

Summary:
The initial fix (r337453) had bug and was partially reverted (r338255).
This simplies t...

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

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

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

Summary:
In clangd we had a new type of completion suggestions for cpp
class/struct/unions that ...

The implementation of this is in TargetParser, so we only need to add a
test for it in clang.

P...

Summary:
Inspired by MSVC, which found some occurrences of this expression on our code base.

Fi...

of a non-trivial C struct, copy the preceding trivial fields that
haven't been copied.

This comm...

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

This reverts commit 03d183b6b94eda27ce66a4f9b87a00b0a148cf9e.

Temporary revert until the tests ...

Prevents bad centering.

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

git-svn-id: htt...

Invalid source locations may arise from generated code.

Differential Revision: https://reviews....

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

When object is owned elsewhere

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

git-svn-...

New check added to the checker which checks whether iterator parameters of template functions ty...

As debug printing has changed, and format was not guaranteed to be
stable.
Artem is currently wo...

To fix compiler warning about non-virtual dtor introduced in r342221.

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

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

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

When a checker maintains a program state trait that isn't a simple list/set/map, but is a combin...

This reverts commit 2f5d71d9fa135be86bb299e7d773036e50bf1df6.

Hopefully fixing tests on Windows...

If a container is moved by its move assignment operator, according to the standard all their ite...

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

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

skip pointers whenever redundant, use unique prefixes.

Differential Revision: https://reviews.l...

Introduce a new MemRegion sub-class, CXXDerivedObjectRegion, which is
the opposite of CXXBaseObj...

Got an error that a cast is happening from a pointer type to long, which is
smaller.

git-svn-i...

(NB: could be a clang-tidy / analyzer check)

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

Still generate a node, but leave the redundant field empty.

Differential Revision: https://revi...

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

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

This patch defines a new substitution and uses it to reduce
duplication in the Clang Analyzer te...

Those are not created in the allocator.
Since they are created fairly rarely, a counter overhead...

If not possible, use the last line of the declaration, as before.

Differential Revision: https:...

Combine the two constructor overrides into a single ArrayRef constructor
to allow easier brace i...

The generated identifiers are stable across multiple runs, and can be a
great debug or visualiza...

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

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

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

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

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

If the non-sink report is generated at the exit node, it will be
suppressed by the current funct...

iThis patch aims to fix derefencing, which has been debated for months now.

Instead of working ...

This patch adds support for the following operations in the iterator checkers: assign, clear, in...

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

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

Tests introduced in r329780 was disabled in r342317 because these tests
were accidentally testin...

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

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

This patch adds support for the following operations in the iterator checkers: push_back, push_f...

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

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

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

Based on a suggestion from @george.karpenkov.

In some cases, structs are used as unions with a ...

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

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

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

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

This reverts commit a39bcab414dd7ace7e490363ecdf01ecce7743fc.

Reverting the revert, fixing test...

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

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

Modify the RetainCountChecker to perform state "adjustments" in
checkEndFunction, as performing ...

Ubigraph project has been dead since about 2008, and to the best of my
knowledge, no one was usi...

rdar://13729267

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

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

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

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

Fixes a number of issues:

- Global variables are not used for communication
- Trait should be...

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

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

By making sure the returned value from getKnownSVal is consistent with
the value used inside exp...

Split tests which were still using FileCheck to compare plists.

Differential Revision: https://...

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

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

Since I plan to add a number of new flags, it made sense to encapsulate
them in a new struct, in...

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

The analyzer doesn't make use of them anyway and they seem to have
pretty weird AST from time to...

A node is considered to be trivial if it only has one successor, one
predecessor, and a state eq...

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

So it can be reused across different consumers.

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

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

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

So we can dump them outside of viewing the exploded grpah.

Differential Revision: https://revie...

The analyzer doesn't make use of them anyway and they seem to have
pretty weird AST from time to...

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

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

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

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

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

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

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

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

Raw FileIDs are needed for the PlistDiagnostics to produce stable filenames.

Differential Revis...

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

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

This patch is a band-aid. A proper solution would be too change
trackNullOrUndefValue to only tr...

Don't try to understand what's going on when there's a C++ method called eg.
CFRetain().

Refact...

The "derived" symbols indicate children fields of a larger symbol.
As parents do not have pointe...

The generated identifier is stable across multiple runs,
and can be a great visualization or deb...

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

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

Commit r340984 causes a crash when a pointer to a completely unrelated type
UnrelatedT (eg., opa...

Test file was accidentally not added for rL341790/rC341790 and subsequant patches.

git-svn-id...

Reverts analyzer tests from rL341627 again as they still broke windows buildbots

git-svn-id: ht...

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

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

Return value of dyn_cast_or_null should be checked before use.
Otherwise we may put a null point...

Add assertions to verify that.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@340990 ...

Extension of the mismatched iterator checker for constructors taking range of first..last (first...

Dumping graphs instead of opening them is often very useful,
e.g. for transfer or converting to ...

Some of the comments are incorrect, imprecise, or simply nonexistent.
Since I have a better gras...

It now actually produces a signed APSInt when the QualType passed into it is
signed, which is wh...

Turns out it can't be removed from the analyzer since it relies on CallEvent.

Moving to staticA...

A lot of code in RetainCountChecker deals with GC mode.
Given that GC mode is deprecated, Apple ...

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

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

Summary:
With this patch, the SMT backend is almost completely detached from the CSA.

Unfortuna...