aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/Bugpoint.html6
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/Bugpoint.html b/docs/Bugpoint.html
index e2a3611db2..4bcf9977d5 100644
--- a/docs/Bugpoint.html
+++ b/docs/Bugpoint.html
@@ -215,6 +215,12 @@ non-obvious ways. Here are some hints and tips:<p>
confused. One way to deal with this is to cause bugpoint to ignore the exit
code from your program, by giving it the <tt>-check-exit-code=false</tt>
option.
+
+<li><tt>bugpoint</tt> is useful for proactively finding bugs in LLVM.
+ Invoking <tt>bugpoint</tt> with the <tt>-find-bugs</tt> option will cause
+ the list of specified optimizations to be randomized and applied to the
+ program. This process will repeat until an error occurs or the user
+ kills <tt>bugpoint</tt>.
</ol>