Re: [PATCH 06/13] verification/rvgen: Convert __fill_verify_guards_func() to Lark

[Nam Cao]

Wander Lairson Costa <wander@xxxxxxxxxx> writes:
>> +        if not self.has_guard:
>> +            return
>
> The signature of function says this function return a list, instead of
> None.

Can you share the tools you are using to catch these? Or did you notice
that yourself?

Nam