[analyzer] Refactor recursive symbol reachability check to use symbol_iterator
authorDominic Chen <d.c.ddcc@gmail.com>
Fri, 18 Nov 2016 21:07:03 +0000 (21:07 +0000)
committerDominic Chen <d.c.ddcc@gmail.com>
Fri, 18 Nov 2016 21:07:03 +0000 (21:07 +0000)
commitc8629bd35a3f8e510d169888f5b5efeb53902fef
tree81141653224d4a77306ac289fb46ef727688ed85
parent5020c9971b2049d255069ea81ce02a085be2e191
[analyzer] Refactor recursive symbol reachability check to use symbol_iterator

Reviewers: zaks.anna, dcoughlin

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D26773

llvm-svn: 287380
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
clang/lib/StaticAnalyzer/Core/ProgramState.cpp