diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-10-25 14:28:50 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-10-25 14:28:50 -0700 |
| commit | 0b7976a1918b5aa8d0a6cb3a2a11bfa1a97786e9 (patch) | |
| tree | 4459d58be10af1afa9e5140065f16c897d92d083 /tools/shared.py | |
| parent | b1eeb1ccda3aa5684699c6f8920085250a7ef023 (diff) | |
variables with no uses cannot be removed if their definition has side effects
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions