From a80e448eb2ebe10df43f77b9c8bf47fdf84274da Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 9 Jul 2008 22:20:56 +0000
Subject: [PATCH] More information on filing bug reports.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53373 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/StaticAnalysis.html      | 18 ++++++++++++------
 www/StaticAnalysisUsage.html |  3 ++-
 2 files changed, 14 insertions(+), 7 deletions(-)

diff --git a/www/StaticAnalysis.html b/www/StaticAnalysis.html
index a53caaeb7d..9319157442 100644
--- a/www/StaticAnalysis.html
+++ b/www/StaticAnalysis.html
@@ -27,12 +27,6 @@ analyzer:</p>
 enhancements to improve both the precision and scope of its analysis algorithms
 as well as the kinds bugs it will find.</li>
 
-<li><b>False positives.</b> Static analysis is not perfect. It can falsely flag
-bugs in a program where the code behaves correctly. Because some code checks
-require more analysis precision than others, the frequency of false positives
-can vary widely between different checks. Our eventual goal is to have the
-analyzer have a low false positive rate for most code on all checks.</li>
-
 <li><b>Static analysis can be much slower than compilation.</b> While the
 analyzer is being designed to be as fast and light-weight as possible, please do
 not expect it to be as fast as compiling a program (even with optimizations
@@ -41,8 +35,20 @@ exponential time. The analyzer runs in a reasonable amount of time by both
 bounding the amount of checking work it will do as well as using clever
 algorithms to reduce the amount of work it must do to find bugs.</li>
 
+<li><b>False positives.</b> Static analysis is not perfect. It can falsely flag
+bugs in a program where the code behaves correctly. Because some code checks
+require more analysis precision than others, the frequency of false positives
+can vary widely between different checks. Our eventual goal is to have the
+analyzer have a low false positive rate for most code on all checks.</li>
 </ul>
 
+<p>If you encounter a false positive, <b>please let us know about it</b> by <a
+href="StaticAnalysisUsage.html#filingbugs">filing a bug report</a>. False
+positives cannot be addressed unless we know about them.</p>
+
+<p>Further, if there are specific kinds of bugs you would like the tool to find,
+please feel free to file <a href="StaticAnalysisUsage.html#filingbugs">feature
+requests</a>.</p.>
 
 <!-- Generated from: http://www.spiffycorners.com/index.php -->
 
diff --git a/www/StaticAnalysisUsage.html b/www/StaticAnalysisUsage.html
index aa52cfdcdf..e4d51db3b6 100644
--- a/www/StaticAnalysisUsage.html
+++ b/www/StaticAnalysisUsage.html
@@ -288,7 +288,8 @@ revision number.</li>
 <h3>Outside Apple</h3>
 
 <p>Please <a href="http://llvm.org/bugs/enter_bug.cgi?product=clang">file
-bugs</a> (against Clang) in LLVM's Bugzilla database.</p>
+bugs</a> in LLVM's Bugzilla database against the Clang <b>Static Analyzer</b>
+component.</p>
 
 <h3>Apple-internal Users</h3>
 
-- 
2.50.1