llvm-project/clang
Artem Dergachev f74ef4b1e6 [analyzer] Fix invalidation on C++ const methods with arrow syntax.
Conservative evaluation of a C++ method call would invalidate the object,
as long as the method is not const or the object has mutable fields.

When checking for mutable fields, we need to scan the type of the object on
which the method is called, which may be more specific than the type of the
object on which the method is defined, hence we look up the type from the
this-argument expression.

If arrow syntax or implicit-this syntax is used, this-argument expression
has pointer type, not record type, and lookup accidentally failed for that
reason. Obtain object type correctly.

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

llvm-svn: 335555
2018-06-25 23:43:45 +00:00
..
INPUTS
bindings [bindings] Fix most Python binding unittests on Windows 2018-06-21 20:07:03 +00:00
cmake [Fuchsia] Enable static libc++, libc++abi, libunwind 2018-06-23 03:15:07 +00:00
docs ASan docs: no_sanitize("address") works on globals. 2018-06-21 00:16:32 +00:00
examples clang-interpreter: Add missing LLVM component Object 2018-06-03 08:12:15 +00:00
include Warning for framework include violation from Headers to PrivateHeaders 2018-06-25 22:24:17 +00:00
lib [analyzer] Fix invalidation on C++ const methods with arrow syntax. 2018-06-25 23:43:45 +00:00
runtime [clang] Use add_llvm_install_targets 2017-11-30 22:35:02 +00:00
test [analyzer] Fix invalidation on C++ const methods with arrow syntax. 2018-06-25 23:43:45 +00:00
tools [clang-format] Add a default format style that can be used by users of `getStyle` 2018-06-25 16:29:19 +00:00
unittests Revert "[ASTImporter] Import the whole redecl chain of functions" 2018-06-25 16:25:30 +00:00
utils Re-apply: Add python tool to dump and construct header maps 2018-06-21 21:45:24 +00:00
www P0096R5, P0941R2: Update to match latest feature test macro specification. 2018-06-14 00:40:20 +00:00
.arcconfig [clang] Set up .arcconfig to point to new Diffusion C repository 2017-11-27 17:21:24 +00:00
.clang-format
.clang-tidy Backport changes from llvm/.clang_tidy to clang/.clang_tidy configs 2018-03-20 14:39:12 +00:00
.gitignore
CMakeLists.txt Re-apply: Add python tool to dump and construct header maps 2018-06-21 21:45:24 +00:00
CODE_OWNERS.TXT Change code owner for Clang Static Analyzer to Devin Coughlin. 2017-11-17 23:19:04 +00:00
INSTALL.txt
LICENSE.TXT Update copyright year to 2018. 2018-06-18 12:22:17 +00:00
ModuleInfo.txt
NOTES.txt
README.txt

README.txt

//===----------------------------------------------------------------------===//
// C Language Family Front-end
//===----------------------------------------------------------------------===//

Welcome to Clang.  This is a compiler front-end for the C family of languages
(C, C++, Objective-C, and Objective-C++) which is built as part of the LLVM
compiler infrastructure project.

Unlike many other compiler frontends, Clang is useful for a number of things
beyond just compiling code: we intend for Clang to be host to a number of
different source-level tools.  One example of this is the Clang Static Analyzer.

If you're interested in more (including how to build Clang) it is best to read
the relevant web sites.  Here are some pointers:

Information on Clang:             http://clang.llvm.org/
Building and using Clang:         http://clang.llvm.org/get_started.html
Clang Static Analyzer:            http://clang-analyzer.llvm.org/
Information on the LLVM project:  http://llvm.org/

If you have questions or comments about Clang, a great place to discuss them is
on the Clang development mailing list:
  http://lists.llvm.org/mailman/listinfo/cfe-dev

If you find a bug in Clang, please file it in the LLVM bug tracker:
  http://llvm.org/bugs/