diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-09 18:16:09 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:35 +0200 |
| commit | 65ac4adf1fb1c2642a8e69d098049dfa2ab90e92 (patch) | |
| tree | b1a3c480ca621b8c7dfecb430507e5ca0e72e88b /backend/CSEproof.v | |
| parent | 5beeba02f16b2d65cceec5ee5577547ba3547c94 (diff) | |
| download | compcert-65ac4adf1fb1c2642a8e69d098049dfa2ab90e92.tar.gz compcert-65ac4adf1fb1c2642a8e69d098049dfa2ab90e92.zip | |
Simplified offset printing.
Instead of printing an the start label and adding the offset by
computing the difference of the range label and the start label
use the range label directly.
Bug 26234
Diffstat (limited to 'backend/CSEproof.v')
0 files changed, 0 insertions, 0 deletions