[CCBM] Add semantics of return
[CCBM] Add semantics of return

Summary: This diff adds semantics for return value of callee.

Reviewed By: jvillard

Differential Revision: D22526367

fbshipit-source-id: 94555914d

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