On 2013-11-17 14:36, Simen Kjærås wrote:
> I believe it is basically this:
>
> int bar() {
>      foo(return 3);
>      return 5;
> }
>
>
> If that program is allowed to compile, and to return 3.
I see, I guess that should work with with the DIP.
-- 
/Jacob Carlborg