Hello, I just want to add a remark about the Intel STM compiler. ICC STM 4.0
../../test/intset/intset.c(173) (col. 5): error: non [[transaction_safe]] function "malloc" called inside [[transaction_safe]] routineICC STM 3.0
../../test/intset/intset.c(173) (col. 5): error: non tm_safe/tm_pure function "malloc" called inside tm_safe routineicc complains about malloc() function because it is inside a transaction and it is non safe function. But Intel STM Compiler knows how to manage malloc/free inside transaction. So, why does the programmer have to add explicitly pure or safe attribute to it? Moreover even if it is annotate as pure, the malloc is wrapped.
callq 0x419630why there is no problem with free() function? Anyway, thanks a lot for this great work! Sincerely, Patrick Marlier