zaks.anna added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp:464
ASTContext &C) {
+ if (hasKindofArgs(StaticUpperBound)) {
+ // If the upper bound type has more __kindof specs, we drop all the info,
----------------
I am concerned that this might cause regressions as other logic in this
function is not triggered when this condition fires. For example, this would
only be safe if Current and StaticUpperBoound are the same type apart from
__kindof modifier.
https://reviews.llvm.org/D33191
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
