From 71bbdeb31c810273d09d5368f60433c51536884a Mon Sep 17 00:00:00 2001
From: davidcok <davidcok@github.com>
Date: Thu, 1 Aug 2019 22:27:17 +0200
Subject: [PATCH] Minor edits
---
doc/userman/limitations.tex | 1 +
doc/userman/main.tex | 8 +++-----
2 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/doc/userman/limitations.tex b/doc/userman/limitations.tex
index 3132abc8..31f686f5 100644
--- a/doc/userman/limitations.tex
+++ b/doc/userman/limitations.tex
@@ -19,6 +19,7 @@ The following C++ features are not implemented in \acslpp.
These \acslpp features are not yet implemented
\begin{itemize}
+\item \fclang cannot process annotations that are separate from the source file
\item \acslpp definitions within template declarations
\item \acslpp specification for standard \cpp library functions are still quite limited
\item ghost declarations
diff --git a/doc/userman/main.tex b/doc/userman/main.tex
index c26c5d27..ecd4b8b7 100644
--- a/doc/userman/main.tex
+++ b/doc/userman/main.tex
@@ -97,7 +97,7 @@ No. 731453.
These items are not yet addressed
\begin{itemize}
-\item Add/revise list of conntributors/reviewers
+\item Add/revise list of contributors/reviewers
\item (Introduction) Verify the version of \framac and \clang supported
\item Sort out the interactions among the options -verbose -debug -quiet -fclang-debug -fclang-verbose -fclang-msg-key -fclang-warn-key
\item Sort out and describe interactions among -annot -pp-annot and frama-clang options
@@ -108,8 +108,6 @@ These items are not yet addressed
\item decribe the framaCIRGen options: -x -b -v --gen-impl-meth
\item Comment on handling of unicode in the preprocessor
\item Review the preprocessor tokens
-\item Various parts of the tool use stdout and stderr differently
-\item \fclang cannot process annotations that are separate from the source file
\item must the argument of -cpp-extra-args always be given with an = and quoted string
\item Interactions between \_\_FC\_MACHDEP and -machdep
\item Check whether static or dynamic linking is used in building
@@ -117,13 +115,13 @@ These items are not yet addressed
Bugs
\begin{itemize}
+\item Various parts of the tool use stdout and stderr differently
\item framaCIRGen -help expects an argument
\item non-clang options not included in framaCIRGen -help
\item The -o option is required
\item What is the -w option
\item Fix how to do custom ASTs; The custom build instructions with a prefix to a temp directory fail
-\item \irg options are not included in -fclang-h
-
+The only
\item framaCIRGen -o prints help summary twice
\item it appears that trigraph processing cannot be turned off, is on by default for \irg but off by default for clang++; not sure why
\item it does not seem that clang options are passed through, e.g. -fdollars-in-identifiers; \irg defaults are different than clang
--
GitLab