From cdda16effa6c8e08d929d8f8a135699e01f9980f Mon Sep 17 00:00:00 2001 From: jrm Date: Mon, 25 Jan 2016 16:29:32 -0800 Subject: [PATCH] Make Eradicate use on-demand analysis by default Summary: public Use on-demand analysis for Eradicate Reviewed By: cristianoc Differential Revision: D2858806 fb-gh-sync-id: b577359 --- infer/lib/python/inferlib/analyze.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py index 1c4b7499d..da7c63f29 100644 --- a/infer/lib/python/inferlib/analyze.py +++ b/infer/lib/python/inferlib/analyze.py @@ -445,9 +445,8 @@ class Infer: self.timing['makefile_generation'] = 0 else: - if self.args.analyzer == config.ANALYZER_ERADICATE: - infer_analyze.append('-intraprocedural') - if self.args.analyzer == config.ANALYZER_CHECKERS: + if self.args.analyzer in [config.ANALYZER_CHECKERS, + config.ANALYZER_ERADICATE]: os.environ['INFER_ONDEMAND'] = 'Y' os.environ['INFER_OPTIONS'] = ' '.join(infer_options)