diff options
author | 2018-07-16 08:58:38 -0700 | |
---|---|---|
committer | 2018-07-16 09:02:09 -0700 | |
commit | cde36bc1667d80c9569bfa09b1cb6e71a77700b9 (patch) | |
tree | 6edb64a2804ac50176bfb6334eec0834f04349d2 /tools | |
parent | 70b89c7eb28f3a2e87168a55d0f2c3f46f1e8add (diff) |
Fix reaching_definitions to correctly mark the definition of modified symbols in the statement that replaces them, e.g. a = a.
PiperOrigin-RevId: 204749753
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions