Hi all,
I am currently working on the verification of Amazon's s2n. I found some warning messages about "incompatible pointer types", but the pointer should be the same. Is it an error or some problem with my test harness?
Attached please find my test harness for s2n_timer: s2n_timer_harness.txt
Type-checking s2n_timer_harness
file ./s2n-harness/unit/s2n_timer_harness.c line 44 function main: warning: conversion from struct s2n_config * to struct s2n_config *: incompatible pointer types
file ./s2n-harness/unit/s2n_timer_harness.c line 50 function main: warning: conversion from struct s2n_config * to struct s2n_config *: incompatible pointer types
file ./s2n-harness/unit/s2n_timer_harness.c line 57 function main: warning: conversion from struct s2n_config * to struct s2n_config *: incompatible pointer types
warning: pointer parameter types differ between declaration and definition "s2n_timer_start"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 21
signed int (struct s2n_config *config, struct s2n_timer *timer)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 24
signed int (struct s2n_config *, struct s2n_timer *)
warning: pointer parameter types differ between declaration and definition "s2n_timer_elapsed"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 28
signed int (struct s2n_config *config, struct s2n_timer *timer, unsigned long long int *nanoseconds)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 25
signed int (struct s2n_config *, struct s2n_timer *, unsigned long long int *)
warning: pointer parameter types differ between declaration and definition "s2n_timer_reset"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 39
signed int (struct s2n_config *config, struct s2n_timer *timer, unsigned long long int *nanoseconds)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 26
signed int (struct s2n_config *, struct s2n_timer *, unsigned long long int *)
Hi all,
I am currently working on the verification of Amazon's s2n. I found some warning messages about "incompatible pointer types", but the pointer should be the same. Is it an error or some problem with my test harness?
Attached please find my test harness for s2n_timer: s2n_timer_harness.txt
Type-checking s2n_timer_harness
file ./s2n-harness/unit/s2n_timer_harness.c line 44 function main: warning: conversion from
struct s2n_config *tostruct s2n_config *: incompatible pointer typesfile ./s2n-harness/unit/s2n_timer_harness.c line 50 function main: warning: conversion from
struct s2n_config *tostruct s2n_config *: incompatible pointer typesfile ./s2n-harness/unit/s2n_timer_harness.c line 57 function main: warning: conversion from
struct s2n_config *tostruct s2n_config *: incompatible pointer typeswarning: pointer parameter types differ between declaration and definition "s2n_timer_start"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 21
signed int (struct s2n_config *config, struct s2n_timer *timer)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 24
signed int (struct s2n_config *, struct s2n_timer *)
warning: pointer parameter types differ between declaration and definition "s2n_timer_elapsed"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 28
signed int (struct s2n_config *config, struct s2n_timer *timer, unsigned long long int *nanoseconds)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 25
signed int (struct s2n_config *, struct s2n_timer *, unsigned long long int *)
warning: pointer parameter types differ between declaration and definition "s2n_timer_reset"
old definition in module s2n_timer file ./s2n/utils/s2n_timer.c line 39
signed int (struct s2n_config *config, struct s2n_timer *timer, unsigned long long int *nanoseconds)
new definition in module s2n_timer_harness file ./s2n/utils/s2n_timer.h line 26
signed int (struct s2n_config *, struct s2n_timer *, unsigned long long int *)