[Loads] Properly populate the visited set in isDereferenceableAndAlignedPointer
authorDavid Majnemer <david.majnemer@gmail.com>
Wed, 31 Aug 2016 03:22:32 +0000 (03:22 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Wed, 31 Aug 2016 03:22:32 +0000 (03:22 +0000)
commita90e51e10682e6c425364fea4ae9c154292ecf7b
tree99a8b1ecb1cbb6b002fec7f6c8affbb51983be48
parent54f18e8a857094a608e63924d38d51b5964f2eab
[Loads] Properly populate the visited set in isDereferenceableAndAlignedPointer

There were paths where we wouldn't populate the visited set, causing us
to recurse forever if an SSA variable was defined in terms of itself.

This fixes PR30210.

llvm-svn: 280191
llvm/lib/Analysis/Loads.cpp