llvm-project/clang
Csaba Dabis 9ea2f9079d [analyzer] ConditionBRVisitor: Unknown condition evaluation support
Summary:
If the constraint information is not changed between two program states the
analyzer has not learnt new information and made no report. But it is
possible to happen because we have no information at all. The new approach
evaluates the condition to determine if that is the case and let the user
know we just `Assuming...` some value.

Reviewers: NoQ, george.karpenkov

Reviewed By: NoQ

Subscribers: llvm-commits, xazax.hun, baloghadamsoftware, szepet, a.sidorin,
mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gsd, gerazo

Tags: #clang, #llvm

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

llvm-svn: 356323
2019-03-16 13:47:55 +00:00
..
INPUTS
bindings [libclang] Expose aligned() attribute. 2019-03-13 16:16:54 +00:00
cmake [CMake] Tell libc++ that we're using compiler-rt on Apple platforms 2019-03-12 15:32:00 +00:00
docs [analyzer] Fix an assertation failure for invalid sourcelocation, add a new debug checker 2019-03-14 16:10:29 +00:00
examples [build] Rename clang-headers to clang-resource-headers 2019-03-04 21:19:53 +00:00
include [analyzer] ConditionBRVisitor: Remove GDM checking 2019-03-16 11:55:07 +00:00
lib [analyzer] ConditionBRVisitor: Unknown condition evaluation support 2019-03-16 13:47:55 +00:00
runtime [CMake] External compiler-rt-configure requires LLVMTestingSupport when including tests 2019-02-01 15:35:25 +00:00
test [analyzer] ConditionBRVisitor: Unknown condition evaluation support 2019-03-16 13:47:55 +00:00
tools [analyzer] Teach scan-build to find clang when installed in /usr/local/bin/ 2019-03-16 01:01:29 +00:00
unittests Make getFullyQualifiedName qualify both the pointee and class type for member ptr types 2019-03-15 11:09:41 +00:00
utils Add a creduce script for clang crashes 2019-03-12 17:48:53 +00:00
www [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements 2019-03-08 20:13:53 +00:00
.arcconfig
.clang-format
.clang-tidy Disable tidy checks with too many hits 2019-02-01 11:20:13 +00:00
.gitignore Adjust documentation for git migration. 2019-01-29 16:37:27 +00:00
CMakeLists.txt [clang] Add install targets for API headers 2019-03-11 18:53:57 +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 Fix typos throughout the license files that somehow I and my reviewers 2019-01-21 09:52:34 +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/