Re: [PATCH, Pointer Bounds Checker 7/x] Call/ret ifaces

2014-05-06 Thread Ilya Enkovich
2014-04-16 17:11 GMT+04:00 Ilya Enkovich : > Hi, > > This patch adds flags and ifaces to mark instrumented calls, extends return > stms with additional operand and introduces some basic bounds predicates. > These changes were previously reverted from 4.9 and I'll assume patch is OK > for trunk

[PATCH, Pointer Bounds Checker 7/x] Call/ret ifaces

2014-04-16 Thread Ilya Enkovich
Hi, This patch adds flags and ifaces to mark instrumented calls, extends return stms with additional operand and introduces some basic bounds predicates. These changes were previously reverted from 4.9 and I'll assume patch is OK for trunk if no objections arise. Patch was bootstrapped and te