diff options
| author | Yannick Moy <moy@adacore.com> | 2023-11-03 14:49:30 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-28 10:35:47 +0100 |
| commit | 73ecd592c9a8a99cf5d456d9a78d3c793390af1e (patch) | |
| tree | 08dfb62fea7105f7156593376c8f93f17de80027 /gcc/tree.cc | |
| parent | 834f2973606c63b4cd9e27e3bf24f01ee1347568 (diff) | |
| download | gcc-73ecd592c9a8a99cf5d456d9a78d3c793390af1e.zip gcc-73ecd592c9a8a99cf5d456d9a78d3c793390af1e.tar.gz gcc-73ecd592c9a8a99cf5d456d9a78d3c793390af1e.tar.bz2 | |
ada: Remove dependency on System.Val_Bool in System.Img_Bool
In order to facilitate the certification of System.Img_Bool, remove
its dependency on unit System.Val_Bool. Modify the definition of
ghost function Is_Boolean_Image_Ghost to take the expected boolean
value and move it to System.Val_Spec.
gcc/ada/
* libgnat/s-imgboo.adb: Remove with_clause now in spec file.
* libgnat/s-imgboo.ads: Remove dependency on System.Val_Bool.
(Image_Boolean): Replace call to Value_Boolean by passing value V
to updated ghost function Is_Boolean_Image_Ghost.
* libgnat/s-valboo.ads (Is_Boolean_Image_Ghost): Move to other
unit.
(Value_Boolean.): Update precondition.
* libgnat/s-valspe.ads (Is_Boolean_Image_Ghost): Move here. Add
new parameter for expected boolean value.
Diffstat (limited to 'gcc/tree.cc')
0 files changed, 0 insertions, 0 deletions