Address review comments from https://github.com/KhronosGroup/SPIRV-Tools/pull/985.
authorDiego Novillo <dnovillo@google.com>
Thu, 4 Jan 2018 18:20:18 +0000 (13:20 -0500)
committerDiego Novillo <dnovillo@google.com>
Thu, 4 Jan 2018 18:20:49 +0000 (13:20 -0500)
commit5b52626eaa4bc599ba26b6b3fbee733cde23ba0f
treec7401e4e30b8f43a1e347c1535acad7cf53e73a7
parent7834beea8017ed2db866227972539fb53ef81362
Address review comments from https://github.com/KhronosGroup/SPIRV-Tools/pull/985.
source/opt/aggressive_dead_code_elim_pass.cpp
source/opt/propagator.h