projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e40cb36) | patch
[Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprs
authorGary Dismukes <dismukes@adacore.com>
Sun, 5 Jul 2020 17:29:02 +0000 (13:29 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 19 Oct 2020 09:53:35 +0000 (05:53 -0400)
commitc95f21001dc9b7dbe717ef84924220192c7b48ae
tree552d7eeddfbee58526b7693e9a34383765d1b905tree
parente40cb362d0b3d49e5dc5a68c5dec1d5672c2832acommit | diff
[Ada] AI12-0170: Abstract subprogram calls in class-wide precond exprs

gcc/ada/

* sem_disp.adb (Check_Dispatching_Context): When the enclosing
subprogram is abstract, bypass early return if the call is
tag-indeterminate, to continue with the later error checking.
gcc/ada/sem_disp.adb diff | blob | history