From ebe82340b9245de5ce3074d7137b0aff61ffae75 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Wed, 23 Mar 2016 15:53:11 -0700 Subject: [PATCH] No longer create procedure description for the callees when running the checkers Summary:public It seems that creating the procedure description of the callees this should no longer be useful to run the checkers Reviewed By: sblackshear Differential Revision: D3083523 fb-gh-sync-id: 040b104 shipit-source-id: 040b104 --- infer/lib/python/inferlib/jwlib.py | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/infer/lib/python/inferlib/jwlib.py b/infer/lib/python/inferlib/jwlib.py index 78042c518..d4ad6db32 100644 --- a/infer/lib/python/inferlib/jwlib.py +++ b/infer/lib/python/inferlib/jwlib.py @@ -257,11 +257,10 @@ class AnalyzerWithFrontendWrapper(analyze.AnalyzerWrapper): if self.args.android_harness: infer_cmd.append('-harness') - if (self.args.android_harness or - self.args.analyzer in [config.ANALYZER_CHECKERS, - config.ANALYZER_ERADICATE, - config.ANALYZER_CAPTURE]): - os.environ['INFER_CREATE_CALLEE_PDESC'] = 'Y' + if self.args.android_harness or \ + self.args.analyzer in [config.ANALYZER_ERADICATE, + config.ANALYZER_CAPTURE]: + os.environ['INFER_CREATE_CALLEE_PDESC'] = 'Y' return analyze.run_command( infer_cmd,