diff options
author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-12-18 17:59:16 -0800 |
---|---|---|
committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-12-18 18:00:57 -0800 |
commit | f0ced2ddb44e4bd970fec310591891a0cdb4462c (patch) | |
tree | 4a150b65d90db8ffaece2a74a1c7d845b279ef8d | |
parent | 89a2bef27aae0e1a7a110a95d3a6869c5561c90f (diff) | |
download | bcm5719-llvm-f0ced2ddb44e4bd970fec310591891a0cdb4462c.tar.gz bcm5719-llvm-f0ced2ddb44e4bd970fec310591891a0cdb4462c.zip |
[analysis] Re-discard type sugar when casting values retrieved from the Store.
Canonicalization was accidentally omitted in 6d3f43ec.
-rw-r--r-- | clang/lib/StaticAnalyzer/Core/Store.cpp | 6 | ||||
-rw-r--r-- | clang/test/Analysis/uninit-val-const-likeness.c | 18 |
2 files changed, 21 insertions, 3 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Store.cpp b/clang/lib/StaticAnalyzer/Core/Store.cpp index 20660d1c2d6..b33129c88ce 100644 --- a/clang/lib/StaticAnalyzer/Core/Store.cpp +++ b/clang/lib/StaticAnalyzer/Core/Store.cpp @@ -394,8 +394,8 @@ SVal StoreManager::attemptDownCast(SVal Base, QualType TargetType, } static bool hasSameUnqualifiedPointeeType(QualType ty1, QualType ty2) { - return ty1->getPointeeType().getTypePtr() == - ty2->getPointeeType().getTypePtr(); + return ty1->getPointeeType().getCanonicalType().getTypePtr() == + ty2->getPointeeType().getCanonicalType().getTypePtr(); } /// CastRetrievedVal - Used by subclasses of StoreManager to implement @@ -427,7 +427,7 @@ SVal StoreManager::CastRetrievedVal(SVal V, const TypedValueRegion *R, // correctly every time we need it. if (castTy->isPointerType() && !castTy->isVoidPointerType()) if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(V.getAsRegion())) { - QualType sr = SR->getSymbol()->getType(); + QualType sr = SR->getSymbol()->getType(); if (!hasSameUnqualifiedPointeeType(sr, castTy)) return loc::MemRegionVal(castRegion(SR, castTy)); } diff --git a/clang/test/Analysis/uninit-val-const-likeness.c b/clang/test/Analysis/uninit-val-const-likeness.c index 1ee1aefe8db..013ab788275 100644 --- a/clang/test/Analysis/uninit-val-const-likeness.c +++ b/clang/test/Analysis/uninit-val-const-likeness.c @@ -54,3 +54,21 @@ int work3(const Params * const params) { sum += fooList[i]; // no-warning return sum; } + +typedef Params ParamsTypedef; +typedef const ParamsTypedef *ConstParamsTypedef; + +static void create4(ConstParamsTypedef const params, int fooList[]) { + int tmpList[SIZE] = {0}; + for (int i = 0; i < params->noOfSymbols; i++) + fooList[i] = tmpList[i]; +} + +int work4(Params * const params) { + int fooList[SIZE]; + create4(params, fooList); + int sum = 0; + for (int i = 0; i < params->noOfSymbols; i++) + sum += fooList[i]; // no-warning + return sum; +} |