llvm-project/clang
Henry Wong 525d4122c9 [analyzer] Do not invalidate the `this` pointer.
Summary:
`this` pointer is not an l-value, although we have modeled `CXXThisRegion` for `this` pointer, we can only bind it once, which is when we start to inline method. And this patch fixes https://bugs.llvm.org/show_bug.cgi?id=35506.

In addition, I didn't find any other cases other than loop-widen that could invalidate `this` pointer.

Reviewers: NoQ, george.karpenkov, a.sidorin, seaneveson, szepet

Reviewed By: NoQ

Subscribers: xazax.hun, rnkovacs, cfe-commits, MTC

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

llvm-svn: 330095
2018-04-15 10:34:06 +00:00
..
INPUTS
bindings Fix typos in clang 2018-04-06 15:14:32 +00:00
cmake [CMake][Fuchsia] Don't specify libc++ ABI version for Fuchsia 2018-04-13 02:02:13 +00:00
docs Fix doc typo 2018-04-12 19:35:39 +00:00
examples clang-interpreter example cmake fix 2018-03-21 12:05:19 +00:00
include hwasan: add -fsanitize=kernel-hwaddress flag 2018-04-13 18:05:21 +00:00
lib [analyzer] Do not invalidate the `this` pointer. 2018-04-15 10:34:06 +00:00
runtime [clang] Use add_llvm_install_targets 2017-11-30 22:35:02 +00:00
test [analyzer] Do not invalidate the `this` pointer. 2018-04-15 10:34:06 +00:00
tools Use InitLLVM in clang as well. 2018-04-13 20:57:57 +00:00
unittests [clang-format] Improve Incomplete detection for (text) protos 2018-04-13 13:37:09 +00:00
utils Fix typos in clang 2018-04-06 15:14:32 +00:00
www Fix typos in clang 2018-04-06 15:14:32 +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 CMake option to allow enabling experimental new pass manager by default 2018-04-06 00:53:00 +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
ModuleInfo.txt
NOTES.txt
README.txt Test commit 2017-10-21 16:03:17 +00:00

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/