Re: [Xen-devel] [PATCH for-4.10] libxl: annotate s to be nonnull in libxl__enum_from_string

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi,

On 16/10/17 15:04, Wei Liu wrote:
> Hope this can placate coverity.
>
> Signed-off-by: Wei Liu <wei.liu2@xxxxxxxxxx>
> ---
> Cc: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
> Cc: Julien Grall <julien.grall@xxxxxxx>
Release-acked-by: Julien Grall <julien.grall@xxxxxxxxxx>

Cheers,

> ---
>   tools/libxl/libxl_internal.h | 2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/tools/libxl/libxl_internal.h b/tools/libxl/libxl_internal.h
> index 45e6df6c82..9fe472efe3 100644
> --- a/tools/libxl/libxl_internal.h
> +++ b/tools/libxl/libxl_internal.h
> @@ -1711,7 +1711,7 @@ _hidden char *libxl__domid_to_name(libxl__gc *gc, 
> uint32_t domid);
>   _hidden char *libxl__cpupoolid_to_name(libxl__gc *gc, uint32_t poolid);
>   
>   _hidden int libxl__enum_from_string(const libxl_enum_string_table *t,
> -                                    const char *s, int *e);
> +                                    const char *s, int *e) 
> __attribute__((nonnull(2)));
>   
>   _hidden yajl_gen_status libxl__yajl_gen_asciiz(yajl_gen hand, const char *str);
>   
--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
https://lists.xen.org/xen-devel