This is an archive of the discontinued LLVM Phabricator instance.

[CFG] [analyzer] Add construction contexts for loop condition variables.
ClosedPublic

Authored by NoQ on Apr 16 2018, 3:41 PM.

Details

Summary

Loop condition variables (eg. while (shared_ptr<int> P = getIntPtr()) { ... }) weren't handled in D42699 because they don't go through CFGBuilder::VisitDeclStmt. Which means that they regressed in D42721.

Fix them by providing the construction context.

Diff Detail

Event Timeline

NoQ created this revision.Apr 16 2018, 3:41 PM
This revision was not accepted when it landed; it landed in state Needs Review.Apr 19 2018, 4:34 PM
This revision was automatically updated to reflect the committed changes.
alexfh added a subscriber: alexfh.Jun 11 2018, 9:30 AM

This commit seems to have introduced https://bugs.llvm.org/show_bug.cgi?id=37769. Could you take a look?