[CN] cannot use prefix increment with size_t in a loop

[peterohanley]

#include <stdlib.h>
#include <stdint.h>

void f(void)
{
    for (size_t i = 0; i < 10; i++);
    for (size_t i = 0; i < 10; ++i);
}
void g(void)
{
    for (uint64_t i = 0; i < 10; i++);
    for (uint64_t i = 0; i < 10; ++i);
}

% cn verify for_loop_u32.c
[1/2]: f -- fail
[2/2]: g -- pass
for_loop_u32.c:7:32: error: Mismatched types.
    for (size_t i = 0; i < 10; ++i);
                               ^~~ 
Expected value of type 'u64' but found value of type 'u32'

cerberus defines size_t as __cerbty_size_t and uint64_t as unsigned long long which I guess is where the discrepancy comes from.