diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-10-28 22:15:53 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-14 14:46:50 +0100 |
| commit | 28e5c45bd519aa363cba1eec4d215b173c360cab (patch) | |
| tree | 23ce86eb6735013dac0b15649618bbdc77424718 /gcc/tree-vect-patterns.cc | |
| parent | 35f29cfe9f6e48dc570d4cd61b906c3cbb2e227a (diff) | |
| download | gcc-28e5c45bd519aa363cba1eec4d215b173c360cab.zip gcc-28e5c45bd519aa363cba1eec4d215b173c360cab.tar.gz gcc-28e5c45bd519aa363cba1eec4d215b173c360cab.tar.bz2 | |
ada: Adjust locations in aspects on generic formal subprograms
When instantiating a generic that has formal subprogram parameter with
contracts, e.g.:
generic
with procedure P with Pre => ..., Post => ...;
...
we create a wrapper that executes Pre/Post contracts before/after
calling the actual subprogram. Errors emitted for these contracts
will now have locations of the instance and not just of the generic.
gcc/ada/
* sem_ch12.adb (Build_Subprogram_Wrappers): Adjust slocs of the
copied aspects, just like we do in Build_Class_Wide_Expression for
inherited class-wide contracts.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
0 files changed, 0 insertions, 0 deletions