c - 什么是 overflow_usub？

Question

Linus Torvalds 最近对拉取请求大发雷霆，登上了主流新闻。这个拉取请求包括一个函数，overflow_usub，它显然是非标准的并且使用了某种编译器魔法。由于此咆哮的广泛报道，几乎不可能找到有关此功能的任何有用信息。我的问题是:什么是 overflow_usub，什么时候应该使用它，它需要什么样的编译器魔法？

Answer 1

函数overflow_usub定义为:

static inline bool overflow_usub(unsigned int a, unsigned int b, unsigned int *res){
  *res = a - b;
  return *res > a ? true : false;
}

它将检查减法中的整数溢出并且不涉及任何编译器魔法。如果编译器没有 __builtin_usub_overflow，这通常是一个回退。