Create the procedure description of the callee when running the capture only, because Gradle uses this

Summary:public
The "fake" procedure description of the callees, containing info about the formal parameters, is current used by Eradicate. This diff forces the creation of the callee procedure descriptions when running Infer with Buck.

Reviewed By: sblackshear

Differential Revision: D3083452

fb-gh-sync-id: 24a70e6
shipit-source-id: 24a70e6
master
Jeremy Dubreil 9 years ago committed by Facebook Github Bot 4
parent c6524d799f
commit 319cc9334e

@ -259,7 +259,8 @@ class AnalyzerWithFrontendWrapper(analyze.AnalyzerWrapper):
if (self.args.android_harness or
self.args.analyzer in [config.ANALYZER_CHECKERS,
config.ANALYZER_ERADICATE]):
config.ANALYZER_ERADICATE,
config.ANALYZER_CAPTURE]):
os.environ['INFER_CREATE_CALLEE_PDESC'] = 'Y'
return analyze.run_command(

Loading…
Cancel
Save