diff options
Diffstat (limited to 'docs/CommandGuide/analyze.html')
| -rw-r--r-- | docs/CommandGuide/analyze.html | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/CommandGuide/analyze.html b/docs/CommandGuide/analyze.html index cd66ce5e0d..ff61808f2b 100644 --- a/docs/CommandGuide/analyze.html +++ b/docs/CommandGuide/analyze.html @@ -53,11 +53,6 @@ language. list of available analysis passes. <p> - <li> -dsa-track-integers - <br> - Track integers as potential pointers. - <p> - <li> -profile-info-file <filename> <br> Specify the name of the file loaded by the -profile-loader option. |