projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8ca4dd) | patch
[Ada] Do not create an empty list of nodes that confuses GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 5 Feb 2020 16:22:17 +0000 (17:22 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:51 +0000 (08:17 -0400)
commit0ad46f04488199557f2b407f8d10839ef5c6e604
tree62f477ec4fa4ce461119194b59f51b426ff330a2tree
parentf8ca4dd657f767c5f7da335462a5150ced368697commit | diff
[Ada] Do not create an empty list of nodes that confuses GNATprove

2020-06-05  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_aggr.adb (Resolve_Record_Aggregate): Create the
N_Aggregate node with its Expressions field set to No_List and
not to an empty list.
gcc/ada/sem_aggr.adb diff | blob | history