ref: ae8bc7a8e1115760e1e7524ec4f5cac1083d4771
parent: 352db1d1341ffc7af741cd4b823e7f71a1fb1b3b
parent: c04c31386f0bd469f1e8a2702d3b572a068ff0a0
author: James Zern <jzern@google.com>
date: Mon Feb 10 08:20:31 EST 2014
Merge "add_warning(): remove dead store"