vsavchenko added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp:217-218
void DynamicTypePropagation::checkDeadSymbols(SymbolReaper &SR,
CheckerContext &C) const {
ProgramStateRef State = removeDeadTypes(C.getState(), SR);
----------------
vsavchenko wrote:
> NoQ wrote:
> > This needs to be filled in for the new trait as well! It's very important :3
> Whoops! I forgot!
> Good catch!
But it looks like that info was not removed from the state neither for
**dynamic types**, nor for **dynamic casts** (see the diff)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78286/new/
https://reviews.llvm.org/D78286
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
