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