NoQ added a comment.
Hopefully.
Repository:
rC Clang
https://reviews.llvm.org/D47044
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
ormris added a comment.
That could work. Is the implementation similar?
Repository:
rC Clang
https://reviews.llvm.org/D47044
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
NoQ added a comment.
Mmm, i think loop widening simply shouldn't invalidate references (though it
should invalidate objects bound to them). Simply because you can't really
reassign a reference.
Could we mark them as "preserve contents", like in
https://reviews.llvm.org/D45491?
Repository:
ormris created this revision.
ormris added reviewers: dcoughlin, NoQ, xazax.hun, george.karpenkov.
Herald added a subscriber: rnkovacs.
Loop widening can invalidate an object reference. If the analyzer attempts to
visit the destructor to a non-existent object it will crash. This patch ensures
