Re: [PATCH] Use uint32_t instead of unsigned32_t.

[Flávio Cruz]

On 19 March 2016 at 12:39, Samuel Thibault <samuel.thibault@gnu.org> wrote:

Hello,

Flavio Cruz, on Tue 15 Mar 2016 05:48:48 -0400, wrote:
> * utils.c: Generate code using uint32_t.

How are we sure that stdint.h gets included?

We already include mach/std_types.h in the stubs which provides uint32_t.
 

Samuel

> ---
>  utils.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/utils.c b/utils.c
> index 4c2a87b..ccde966 100644
> --- a/utils.c
> +++ b/utils.c
> @@ -77,7 +77,7 @@ WriteBogusDefines(FILE *file)
>
>      fprintf(file, "#define BAD_TYPECHECK(type, check) mig_unlikely (({\\\n");
>      fprintf(file,
> -         "  union { mach_msg_type_t t; unsigned32_t w; } _t, _c;\\\n");
> +         "  union { mach_msg_type_t t; uint32_t w; } _t, _c;\\\n");
>      fprintf(file,
>           "  _t.t = *(type); _c.t = *(check);_t.w != _c.w; }))\n");
>  }
> --
> 2.6.4
>
>

--
Samuel
<N> bon comment on fait de l'investigation pour savoir qui est le vilain ?
<s> on débranche le routeur et on regarde qui s'affole
 -+- #ens-mim administre -+-

--

Flávio Cruz / flaviocruz@gmail.com