[pulse] refactor to make exec_instr_aux return the new path
[pulse] refactor to make exec_instr_aux return the new path

Summary: Nothing fancy here, needed for next diff.

Reviewed By: skcho

Differential Revision: D31479145

fbshipit-source-id: c8d919b69

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