stdckdint.h bug report

[ander]

Yesterday，I learn some c23 new features. Maybe there is a bug in stdckdint.h.

bool ckd_add( type1 *result, type2 a, type3 b );
bool ckd_sub( type1 *result, type2 a, type3 b );
bool ckd_mul( type1 *result, type2 a, type3 b );

Macros always return false. Pelles c 13.01. Windows 11 Simplified Chinese.

Code Select Expand

#include <stdio.h>
#include <stdckdint.h>
int main(void)
{
int a = 655350;
int b = 10;
short int c = 0;
//int c = 0;
bool result = true;
result = ckd_mul(&c, a, b); // ckd_add(&c, a, b); ckd_sub(&c, a, b);
if (result == true) {
puts("true\n");
}else{
puts("false\n");
}
printf("c = %d\n", c);
return 0;
}