aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2010-06-01 12:59:09 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2010-06-01 14:59:09 +0200
commitc4e09c3f8bbbeb122fec25eed43a8fbb9b51df88 (patch)
tree6f6ae246aa876f0c4bf81c1e96d287cf75bc9cad /gcc/ada
parent9cc549409b6eaf87ba91362809738b0f1f3158e1 (diff)
downloadgcc-c4e09c3f8bbbeb122fec25eed43a8fbb9b51df88.zip
gcc-c4e09c3f8bbbeb122fec25eed43a8fbb9b51df88.tar.gz
gcc-c4e09c3f8bbbeb122fec25eed43a8fbb9b51df88.tar.bz2
* gnat_ugn.texi: Improve doc on -fdump-ada-spec, mention limitations.
From-SVN: r160101
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ChangeLog4
-rw-r--r--gcc/ada/gnat_ugn.texi21
2 files changed, 21 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7b909f8..3340a4e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2010-06-01 Arnaud Charlet <charlet@adacore.com>
+
+ * gnat_ugn.texi: Improve doc on -fdump-ada-spec, mention limitations.
+
2010-05-30 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Task_Type>: Reuse the
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index ab52d63..db8b2cc 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -23326,10 +23326,23 @@ Verbose mode: generate version information.
@findex binding
@noindent
-GNAT now comes with a new experimental binding generator for C and C++
-headers which is intended to do 95% of the tedious work of generating
-Ada specs from C or C++ header files. Note that this still is a work in
-progress, not designed to generate 100% correct Ada specs.
+GNAT now comes with a binding generator for C and C++ headers which is
+intended to do 95% of the tedious work of generating Ada specs from C
+or C++ header files.
+
+Note that this capability is not intended to generate 100% correct Ada specs,
+and will is some cases require manual adjustments, although it can often
+be used out of the box in practice.
+
+Some of the known limitations include:
+
+@itemize @bullet
+@item only very simple character constant macros are translated into Ada
+constants. Function macros (macros with arguments) are partially translated
+as comments, to be completed manually if needed.
+@item some extensions (e.g. vector types) are not supported
+@item pointers to pointers or complex structures are mapped to System.Address
+@end itemize
The code generated is using the Ada 2005 syntax, which makes it
easier to interface with other languages than previous versions of Ada.