aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/usage.adb
diff options
context:
space:
mode:
authorSteve Baird <baird@adacore.com>2023-02-15 16:13:06 -0800
committerMarc Poulhiès <poulhies@adacore.com>2023-05-23 09:59:05 +0200
commit0fb36084e3ef8fb0eef232b41a8257f119b26864 (patch)
treef056be48eebd901246fc1098c181689c090ffaeb /gcc/ada/usage.adb
parent583acc4d8e570e738516463cc1c6afcce22ee13d (diff)
downloadgcc-0fb36084e3ef8fb0eef232b41a8257f119b26864.zip
gcc-0fb36084e3ef8fb0eef232b41a8257f119b26864.tar.gz
gcc-0fb36084e3ef8fb0eef232b41a8257f119b26864.tar.bz2
ada: A discriminant of a variable is not a variable
gcc/ada/ * sem_util.adb (Is_Variable): Correctly return False for a selected component name of the form Some_Object.Some_Discriminant, even if Some_Object is a variable. We don't want to allow such a name as an actual parameter in a call if the corresponding formal parameter's mode is not "in".
Diffstat (limited to 'gcc/ada/usage.adb')
0 files changed, 0 insertions, 0 deletions