diff options
Diffstat (limited to 'docs/CommandGuide')
| -rw-r--r-- | docs/CommandGuide/bugpoint.pod | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/CommandGuide/bugpoint.pod b/docs/CommandGuide/bugpoint.pod index 56f83953f2..d940f0d429 100644 --- a/docs/CommandGuide/bugpoint.pod +++ b/docs/CommandGuide/bugpoint.pod @@ -105,6 +105,12 @@ using the specified code generator. These options allow you to choose the interpreter, the JIT compiler, the static native code compiler, or the C backend, respectively. +=item B<--enable-valgrind> + +Use valgrind to find faults in the optimization phase. This will allow +bugpoint to find otherwise asymptomatic problems caused by memory +mis-management. + =back =head1 EXIT STATUS |