[sourcefile] die on extension of invalid file
[sourcefile] die on extension of invalid file

Reviewed By: rgrig

Differential Revision: D29485217

fbshipit-source-id: b871a13c7

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