non_bool_expression

The expression in an assert must be of type 'bool'.

O analisador emite este diagnóstico quando a primeira expressão em um assert tem um tipo diferente de bool.

O código a seguir gera este diagnóstico porque o tipo de p é int, mas é necessário um bool:

void f(int p) {
  assert(p);
}

Altere a expressão para que ela tenha o tipo bool:

void f(int p) {
  assert(p > 0);
}