diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index 370fb0a..1ca9d98 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -723,6 +723,9 @@ extern int flag_web; used. */ extern int flag_remove_unreachable_functions; +/* Nonzero if we should track variables. */ +extern int flag_var_tracking; + /* A string that's used when a random name is required. NULL means to make it really random. */ |