Re: [cocci] Bug dans la parseur de coccinelle ?

[picca <picca@debian.org>]

[-- Attachment #1: Type: text/plain, Size: 608 bytes --]

Le 2026-11-12 13:29, Victor Gambier a écrit :
> Thank you. I cannot reproduce the error. Could you send me the file 
> "hkl/ccan/array_size/array_size.h", as well as the output of `spatch 
> --version`?
> 
> Victor

here it is :)

$ spatch --version
spatch version 1.3 compiled with OCaml version 5.3.0
Flags passed to the configure script: --prefix=/usr --sysconfdir=/etc 
--libdir=/usr/lib --enable-ocaml --enable-python --with-python=python3 
--enable-opt
OCaml scripting support: yes
Python scripting support: yes
Syntax of regular expressions: Str


Debian stable.

I will test on Debian unstable also

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: array_size.h --]
[-- Type: text/x-c; name=array_size.h, Size: 907 bytes --]

/* CC0 (Public domain) - see LICENSE file for details */
#ifndef CCAN_ARRAY_SIZE_H
#define CCAN_ARRAY_SIZE_H
#include <hkl/ccan/ccan_config.h>
#include <hkl/ccan/build_assert/build_assert.h>

/**
 * ARRAY_SIZE - get the number of elements in a visible array
 * @arr: the array whose size you want.
 *
 * This does not work on pointers, or arrays declared as [], or
 * function parameters.  With correct compiler support, such usage
 * will cause a build error (see build_assert).
 */
#define ARRAY_SIZE(arr) (sizeof(arr) / sizeof((arr)[0]) + _array_size_chk(arr))

#if HAVE_BUILTIN_TYPES_COMPATIBLE_P && HAVE_TYPEOF
/* Two gcc extensions.
 * &a[0] degrades to a pointer: a different type from an array */
#define _array_size_chk(arr)						\
	BUILD_ASSERT_OR_ZERO(!__builtin_types_compatible_p(typeof(arr),	\
							typeof(&(arr)[0])))
#else
#define _array_size_chk(arr) 0
#endif
#endif /* CCAN_ALIGNOF_H */