diff options
Diffstat (limited to 'gcc/opts.c')
| -rw-r--r-- | gcc/opts.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/opts.c b/gcc/opts.c index bb063f8982f..a4c5cfa3991 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1383,6 +1383,8 @@ common_handle_option (size_t scode, const char *arg, #else warning ("Andersen's PTA not available - libbanshee not compiled."); #endif + else if (!strcmp (arg, "none")) + flag_tree_points_to = PTA_NONE; else { warning ("`%s`: unknown points-to analysis algorithm", arg); |