projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
29ada0e
)
[Ada] Subprogram_Variant in ignored ghost code
author
Bob Duff
<duff@adacore.com>
Tue, 17 Aug 2021 15:02:51 +0000
(11:02 -0400)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Fri, 1 Oct 2021 06:13:39 +0000
(06:13 +0000)
gcc/ada/
* exp_ch6.adb (Expand_Call_Helper): Do not call
Check_Subprogram_Variant if the subprogram is an ignored ghost
entity. Otherwise the compiler crashes (in debug builds) or
gives strange error messages (in production builds).
gcc/ada/exp_ch6.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/exp_ch6.adb
b/gcc/ada/exp_ch6.adb
index
ffd1475
..
ce0bb80
100644
(file)
--- a/
gcc/ada/exp_ch6.adb
+++ b/
gcc/ada/exp_ch6.adb
@@
-4392,6
+4392,7
@@
package body Exp_Ch6 is
-- the current subprogram is called.
if Is_Subprogram (Subp)
+ and then not Is_Ignored_Ghost_Entity (Subp)
and then Same_Or_Aliased_Subprograms (Subp, Current_Scope)
then
Check_Subprogram_Variant;