On Fri, 12 Apr 2019, Markus Elfring wrote:
> >> @@ -3015,11 +2859,6 @@ static int init_slave(struct gbe_priv *g
> >> }
> >>
> >> if (of_property_read_u32(node, "link-interface",
> >> ->link_interface)) {
> >> - dev_warn(gbe_dev->dev,
>> @@ -3015,11 +2859,6 @@ static int init_slave(struct gbe_priv *g
>> }
>>
>> if (of_property_read_u32(node, "link-interface",
>> ->link_interface)) {
>> - dev_warn(gbe_dev->dev,
>> -"missing link-interface value
On Fri, 12 Apr 2019, Markus Elfring wrote:
> Hello,
>
> I have tried another small SmPL script out.
>
>
> @display@
> identifier work;
> statement s1, s2;
> type T;
> @@
> T work(...)
> {
> ... when any
> *{
> ... when any
> * s1
> * s2
> *}
> ... when any
> }
>
>
> I have observed
