From f6753ca7324b8b367b49a83666614bafaf62d9df Mon Sep 17 00:00:00 2001
From: drl7x
Date: Mon, 21 Apr 2003 20:10:20 +0000
Subject: [PATCH] Fixed line numbering in faq.html
---
doc/html/faq.html | 22 ----------------------
1 file changed, 22 deletions(-)
diff --git a/doc/html/faq.html b/doc/html/faq.html
index 97a5e08..aab6dc5 100644
--- a/doc/html/faq.html
+++ b/doc/html/faq.html
@@ -13,9 +13,7 @@
Splint - Frequently Asked Questions
Index
- -
-
- What is the difference between Splint and LCLint?
- What is the Splint logo?
@@ -48,9 +46,7 @@
it seems like Splint is not reporting any errors in the code it analyzes. What is
going on?
- -
-
- I heard that we will get lot of parse errors when we run
this tool first time. Hence we need to modify source code. Is it correct ?
@@ -69,9 +65,7 @@
- I use realloc in my code. How can I get Splint in check this
code more effectively?
- -
-
- Why do I get a warning when multiplying different integer
types? The C standard says this is ok. Why is this wrong?
@@ -84,26 +78,20 @@
- I get parse errors when I try to run Splint on code like
#define MACROdebug(...) blahblah . Can I use variadic macros in Splint?
- -
-
- I think I've found a bug in Splint. What should I do?
- Splint tells me that there is a bug and I should report it.
What information should I send?
- -
-
- My question isn't answered here. How can I get more
information about Splint?
Questions and Answers
- -
-
-
What is the difference between Splint and
LCLint?
@@ -169,9 +157,7 @@
- -
-
-
I downloaded the Splint .tgz file but can't
figure out how to extract it. There is no 'z' option on the tar on my
@@ -252,9 +238,7 @@
- -
-
-
I heard that we will get lot of parse errors
when we run this tool first time. Hence we need to modify source code. Is it
@@ -319,9 +303,7 @@
href="http://www.splint.org/documentation/realloc.htm">http://www.splint.org/documentation/realloc.htm
- -
-
-
Why do I get a Warning when multiplying
different integer types? The C standard says this is ok. Why is this
@@ -367,9 +349,7 @@
- -
-
-
I think I've found a bug in Splint. What should
I do?
@@ -393,9 +373,7 @@
may be able to at least to offer you advice on working around the problem.
-
-
My question isn't answered here. How can I get
more information about Splint?
--
2.45.0