From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=3.0 tests=BAYES_50,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no
	version=3.4.6
X-Received: by 2002:ae9:e40a:0:b0:702:2939:8cf5 with SMTP id q10-20020ae9e40a000000b0070229398cf5mr1863694qkc.75.1674757505384;
        Thu, 26 Jan 2023 10:25:05 -0800 (PST)
X-Received: by 2002:a9d:1af:0:b0:684:e916:34fb with SMTP id
 e44-20020a9d01af000000b00684e91634fbmr2064872ote.178.1674757505169; Thu, 26
 Jan 2023 10:25:05 -0800 (PST)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 26 Jan 2023 10:25:04 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=87.143.117.164; posting-account=3zVVBwoAAAC7BSMfgNP7DSbqU9urpt40
NNTP-Posting-Host: 87.143.117.164
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <823bfde7-adb3-4cd2-adca-744cf676864an@googlegroups.com>
Subject: pragmas in doubly linked lists
From: "L. B." <mario.blunk.gplus@gmail.com>
Injection-Date: Thu, 26 Jan 2023 18:25:05 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1448
Xref: reader01.eternal-september.org comp.lang.ada:64891
List-Id: <comp.lang.ada>

Hello,

I'm having issues with cursors of doubly linked lists (erroneous memory access exceptions).
So I'm wondering whether the pragmas might solve the problems. What is the purpose of the pragmas defined in the package like

pragma Preelaborate(Doubly_Linked_Lists);
pragma Preelaborable_Initialization(List);
pragma Preelaborable_Initialization(Cursor);

What are they good for and how to use them ? Some simple examples would be very helpful. Thank you.