[nullsafe] the analysis should not depend on inter-procedural summaries
[nullsafe] the analysis should not depend on inter-procedural summaries

Summary:
Load proc descs without potentially triggering an inter-procedural
analysis (scary!).

Reviewed By: dulmarod, mityal

Differential Revision: D21351457

fbshipit-source-id: 5ec369fe5

jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer