>>>> @vz_combined >>>> depends on patch && !context && !org && !report@ >>>> type T; >>>> T* pointer; >>>> +statement S; >>>> expression express; >>>> @@ >>>> pointer = >>>> - vmalloc >>>> + vzalloc >>>> (...); >>>> if (!d) >>>> S >>>> -memset(d, 0, sizeof( >>>> ( >>>> -T >>>> | >>>> -*(express) >>>> ) >>>> -)); > > Actually, this is a mess. pointer, d, and express are all supposed to be > the same thing, as they were in the original rule. > > Furthermore, this shows a reason why the original rule was better.
There is a trade-off between several unique SmPL rules and other combined variants which could eventually work with two SmPL disjunctions. Regards, Markus
