maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
219,718 Commits 23 Branches 0 Tags 2.2 GiB
C++ 39.1%
LLVM 35.7%
C 12.1%
Assembly 8.9%
Python 1.1%
Other 2.7%
Go to file
Pierre Gousseau e961b445ad [analyzer] Evaluate integral casts as cast symbols if truncations are detected. 
The current workaround for truncations not being modelled is that the evaluation of integer to integer casts are simply bypassed and so the original symbol is used as the new casted symbol (cf SimpleSValBuilder::evalCastFromNonLoc).
This lead to the issue described in PR25078, as the RangeConstraintManager associates ranges with symbols.

The new evalIntegralCast method added by this patch wont bypass the cast if it finds the range of the symbol to be greater than the maximum value of the target type.

The fix to RangeSet::pin mentioned in the initial review will be committed separately.

Differential Revision: http://reviews.llvm.org/D12901

llvm-svn: 257464
 		2016-01-12 10:07:56 +00:00
clang [analyzer] Evaluate integral casts as cast symbols if truncations are detected. 2016-01-12 10:07:56 +00:00
clang-tools-extra Add documentation redirects for clang-tidy checkers that are exposed under multiple checker names. Updates the Python script for adding checks to properly handle these aliases. 2016-01-11 16:48:26 +00:00
compiler-rt [PGO] Add Linux specific test cases for profile runtime 2016-01-12 07:18:53 +00:00
debuginfo-tests New round of fixes for "Always compile debuginfo-tests for the host triple" 2014-10-18 23:47:59 +00:00
libclc AMDGPU: Add aliases for all VI targets 2015-12-15 18:37:04 +00:00
libcxx Put the definition of _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK in the right place. 2016-01-12 00:38:04 +00:00
libcxxabi Add new tests for throwing incomplete pointer types 2015-12-23 07:04:32 +00:00
libunwind Replace cmake check for printf with a check for fopen. 2015-12-10 00:47:08 +00:00
lld [ELF][MIPS] Fix a typo in the comment 2016-01-12 06:24:02 +00:00
lldb Add clang::Type::Pipe to ClangASTContext 2016-01-12 08:51:28 +00:00
llgo [llgo] Force exporting __morestack from llgoi 2015-11-27 04:46:46 +00:00
llvm AVX512: VPMOVAPS/PD and VPMOVUPS/PD (load) intrinsic implementation. 2016-01-12 10:02:32 +00:00
openmp Remove double negative in if() logic. 2016-01-11 20:37:39 +00:00
polly Call assumeNoOutOfBound only in updateDimensionality 2016-01-08 14:01:59 +00:00