diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-04-06 14:52:08 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-05-19 05:41:19 +0200 |
| commit | 08958aee2da5abbfbe92b25654eb964844f89c99 (patch) | |
| tree | 80b738263ae0707e43c9559f276f53a5c462e549 /lib.h | |
| parent | cdf306bbb0efccfe9c75d9042b40452478d2e06e (diff) | |
| download | sparse-dev-08958aee2da5abbfbe92b25654eb964844f89c99.tar.gz | |
add support for a new flag: -fdump-linearize[=only]
The effect of this flag is to dump the IR just after the
linearization, before any simplification, and to stop
further processing if '=only' is given as argument.
The motivation of this flag is of course for debugging,
to be able to inspect the raw result of the linearization,
undisturbed by an simplification.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'lib.h')
| -rw-r--r-- | lib.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -138,6 +138,7 @@ extern int dbg_entry; extern int dbg_dead; extern int fmem_report; +extern int fdump_linearize; extern int arch_m64; |