maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Fixes issue introduced by r331556. 

Closes bug: https://bugs.llvm.org/show_bug.cgi?id=37357

Patch by Rafael Stahl!

Differential revision: https://reviews.llvm.org/D46633

llvm-svn: 331870
This commit is contained in:
Alexander Kornienko 2018-05-09 12:27:21 +00:00
parent e0207a60dd
commit 48fcfc3274
2 changed files with 12 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/lib/StaticAnalyzer/Core/RegionStore.cpp
View File

@ -1711,13 +1711,15 @@ SVal RegionStoreManager::getBindingForField(RegionBindingsConstRef B,
if (const auto *VR = dyn_cast<VarRegion>(superR)) {
const VarDecl *VD = VR->getDecl();
QualType RecordVarTy = VD->getType();
unsigned Index = FD->getFieldIndex();
// Either the record variable or the field has to be const qualified.
if (RecordVarTy.isConstQualified() || Ty.isConstQualified())
if (const Expr *Init = VD->getInit())
if (const auto *InitList = dyn_cast<InitListExpr>(Init))
if (const Expr *FieldInit = InitList->getInit(FD->getFieldIndex()))
if (Optional<SVal> V = svalBuilder.getConstantVal(FieldInit))
return *V;
if (Index < InitList->getNumInits())
if (const Expr *FieldInit = InitList->getInit(Index))
if (Optional<SVal> V = svalBuilder.getConstantVal(FieldInit))
return *V;
}
return getBindingForFieldOrElementCommon(B, R, Ty);

7
clang/test/Analysis/initialization.c Normal file
View File

@ -0,0 +1,7 @@
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
// expected-no-diagnostics
void initbug() {
const union { float a; } u = {};
(void)u.a; // no-crash
}