История изменений

Исправление ASM, 26.10.16 15:55 (текущая версия) :

Подправил код:

#include <stdio.h>
#include <inttypes.h>
static int f (uint32_t a, uint32_t b) {
  int64_t c=a-b;
  if (c<0) return 1;
  return 0;
}
int main(void) { return f(10,11);}

Согласитесь, должно выдавать что-то типа: «В функции f всегда будет возвращён 0», или это задача динамического анализатора? Или покрытия?

Исходная версия ASM, 26.10.16 15:53:

Подправил код:

#include <stdio.h>
#include <inttypes.h>
static int f (uint32_t a, uint32_t b) {
  int64_t c=a-b;
  if (c<0) return 1;
  return 0;
}
int main(void) { return f(10,11);}

Согласитесь, должно выдавать что-то типа: «В функции f всегда будет возвращён 0», или это задача динамического анализатора?