On Thu, Nov 01, 2018 at 06:11:17PM +0000, Ben Dooks wrote:
> Add some tests for the new printf format checking code.
> Note, these do not all pass yet.
>
> Signed-off-by: Ben Dooks <ben.dooks@xxxxxxxxxxxxxxx>
> ---
> validation/varargs-format-addrspace1.c | 60 ++++++++++++++++++++++++++
> validation/varargs-format-bad.c | 14 +++++-
> validation/varargs-format-checking.c | 19 ++++++++
> validation/varargs-format-position.c | 29 +++++++++++++
> validation/varargs-format-prefix.c | 18 ++++++++
> validation/varargs-format-tests.c | 35 +++++++++++++++
> 6 files changed, 173 insertions(+), 2 deletions(-)
> create mode 100644 validation/varargs-format-addrspace1.c
> create mode 100644 validation/varargs-format-checking.c
> create mode 100644 validation/varargs-format-position.c
> create mode 100644 validation/varargs-format-prefix.c
> create mode 100644 validation/varargs-format-tests.c
>
> diff --git a/validation/varargs-format-bad.c b/validation/varargs-format-bad.c
> index a8b9cdb..2b96aba 100644
> --- a/validation/varargs-format-bad.c
> +++ b/validation/varargs-format-bad.c
> @@ -1,9 +1,19 @@
>
> extern int variadic(char *msg, ...) __attribute__((format (printf, 0, 0)));
> extern int variadic2(char *msg, int , ...) __attribute__((format (printf, 2, 2)));
> -extern int variadic3(char *msg, int , ...) __attribute__((format (printf, 2, 3)));
> +extern int variadic3(char *msg, int , ...) __attribute__((format (printf, 2, 1)));
>
> static void test(void) {
> - variadic3("test", 1);
> }
Mmmm, I don't have the patch where this file is created.
It was already so in the previous version.
Kind regards,
-- Luc
