llvm-project/clang
Artem Dergachev 02955afbb4 [analyzer] pr38668: Do not attempt to cast loaded integers to floats.
This patch is a different approach to landing the reverted r349701.

It is expected to have the same object (memory region) treated as if it has
different types in different program points. The correct behavior for
RegionStore when an object is stored as an object of type T1 but loaded as
an object of type T2 is to store the object as if it has type T1 but cast it
to T2 during load.

Note that the cast here is some sort of a "reinterpret_cast" (even in C). For
instance, if you store an integer and load a float, you won't get your integer
represented as a float; instead, you will get garbage.

Admit that we cannot perform the cast and return an unknown value.

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

rdar://problem/45062567

llvm-svn: 349984
2018-12-22 02:06:51 +00:00
..
INPUTS
bindings Portable Python script across Python version 2018-12-18 16:07:37 +00:00
cmake [Driver] Support XRay on Fuchsia 2018-11-22 02:36:47 +00:00
docs Add support for namespaces on #pragma clang attribute 2018-12-20 22:32:04 +00:00
examples cmake: Remove uses of add_llvm_loadable_module macro 2018-12-20 22:04:36 +00:00
include Convert some ObjC retain/release msgSends to runtime calls. 2018-12-21 21:00:32 +00:00
lib [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
runtime [CMake] Make bootstrap and compiler-rt depend on cxx-headers. 2018-06-28 18:35:25 +00:00
test [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
tools PR40096: Forwards-compatible with C++20 rule regarding aggregates not having user-declared ctors 2018-12-19 19:33:35 +00:00
unittests Remove stat cache chaining as it's no longer needed after PTH support has been 2018-12-21 19:33:09 +00:00
utils Switch from cast<> to dyn_cast<>. 2018-12-21 19:16:38 +00:00
www Allow direct navigation to static analysis checker documentation through SARIF exports. 2018-12-20 20:20:20 +00:00
.arcconfig
.clang-format
.clang-tidy
.gitignore NFC: Add .vscode to .gitignore 2018-12-03 22:51:07 +00:00
CMakeLists.txt inhereit LLVM_ENABLE_LIBXML2 2018-11-29 14:57:14 +00:00
CODE_OWNERS.TXT Add myself as code owner for OpenBSD driver 2018-11-30 21:42:34 +00:00
INSTALL.txt
LICENSE.TXT Update copyright year to 2018. 2018-06-18 12:22:17 +00:00
ModuleInfo.txt
NOTES.txt PTH-- Remove feature entirely- 2018-12-04 14:34:09 +00:00
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/