]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2971257) | patch
[analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;' expression...
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Wed, 5 Apr 2017 08:57:04 +0000 (08:57 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Wed, 5 Apr 2017 08:57:04 +0000 (08:57 +0000)
commitb49003d6f8e81c3622eb792f29375900f4978a9c
treefab9a0869686968f67b5de86ef4a79b3b071d3a7tree | snapshot
parent2971257756c10c405801c073a009ed06f1a6ad70commit | diff
[analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;' expression, that is not unsafe

Summary:
The alpha.core.Conversion was too strict about compound assignments and could warn even though there is no problem.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@299523 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/ConversionChecker.cpp diff | blob | history
test/Analysis/conversion.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.