martong added a comment.
> In this example, it cast to the `unsigned char` (which is the type of the
> stored value of `**b`, stored at `#1`) instead of the static type of the
> access (the type of `**b` is `char`at `#2`).
Possible typo in the summary. At `#2` the type should be `char *` shouldn't it?
================
Comment at: clang/lib/StaticAnalyzer/Core/RegionStore.cpp:1442
} else {
- T = cast<TypedValueRegion>(MR)->getValueType();
+ if (T.isNull())
+ T = cast<TypedValueRegion>(MR)->getValueType();
----------------
Nice catch!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D88477/new/
https://reviews.llvm.org/D88477
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
