infer_clone

Author	SHA1	Message	Date
Sam Blackshear	4fd2f52fe8	new analysis for adding nullify's Reviewed By: jeremydubreil Differential Revision: D3241019 fbshipit-source-id: 8409b33	9 years ago
Sam Blackshear	6f6da12b2c	don't nullify params/locals at beginning of procedure Reviewed By: jeremydubreil Differential Revision: D3258615 fb-gh-sync-id: 73e4670 fbshipit-source-id: 73e4670	9 years ago
Andrzej Kotulski	05c218d84f	Declare local variable for conditional in procdesc Summary:Local variable created by conditional operator translation is now declared in scope of whole procedure. Semantically there is no difference, hopefuly backend will not complain about this change. Also, nullifying that variable is deferred to preanalysis instead of calling it manually Reviewed By: jvillard Differential Revision: D3155733 fb-gh-sync-id: 6cec8fc fbshipit-source-id: 6cec8fc	9 years ago
Andrzej Kotulski	66d3d492f8	Fix translation of BinaryConditionalOperator Summary:BinaryConditionalOperator should evaluate condition expression once, but we used to evaluate it twice. Fix translation to account for it. Reviewed By: dulmarod Differential Revision: D3179803 fb-gh-sync-id: a801a7e fbshipit-source-id: a801a7e	9 years ago