[Ada] Reject allocators in contexts restricted by SPARK

Pierre-Marie de Rodat derodat@adacore.com
Thu Jun 17 14:33:10 GMT 2021

References to allocators, just like references to volatile objects, are
now rejected in all context restricted by SPARK, both within actual
parameters and outside of them.

Tested on x86_64-pc-linux-gnu, committed on trunk


	* sem_ch4.adb (Analyze_Allocator): Reject allocators in
	restricted contexts.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 751 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210617/763f0c79/attachment-0001.bin>

More information about the Gcc-patches mailing list