Commit 4e66617
committed
instrument-c.adb: avoid uninitialized record component
Make sure that the record component PP_Info.PP_Source_Range is always
initialized, at least so that we do not stream absurd sloc range
information to SID/checkpoint files.
That went unnoticed so far because Natural'Write will happily write a
negative number, and Natural'Read will happily read and assign it,
without raising a Constraint_Error.
This fixes no known gnatcov issue as of today, but is necessary for the
upcoming work to make SID/checkpoint reading manual.1 parent 0c455ca commit 4e66617
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
735 | 735 | | |
736 | 736 | | |
737 | 737 | | |
| 738 | + | |
738 | 739 | | |
739 | 740 | | |
740 | 741 | | |
| |||
0 commit comments