commit 841714214ed276c9a69c471b6c85f6388e8db970
author John Criswell <criswell@uiuc.edu> Fri Mar 12 22:45:35 2004 +0000
committer John Criswell <criswell@uiuc.edu> Fri Mar 12 22:45:35 2004 +0000
tree f8506273876ff841271ac150728defa5886216ff
parent 04b75935462642641469fb264aab9f1110ce2666

Performed some updates on the new options to these command line tools.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12350 91177308-0d34-0410-b5e6-96231b3b80d8

docs/CommandGuide/opt.html

diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html
index 91650d6..4bf67a4 100644
--- a/docs/CommandGuide/opt.html
+++ b/docs/CommandGuide/opt.html
@@ -53,6 +53,16 @@
 	Specify the output filename.
 	<p>
 
+	<li> -dsa-track-integers
+	<br>
+	Track integers as potential pointers.
+	<p>
+
+	<li> -profile-info-file &lt;filename&gt;
+	<br>
+	Specify the name of the file loaded by the -profile-loader option.
+	<p>
+
 	<li> -stats
 	<br>
 	Print statistics.