在ISO C99中，利用v&-v提取无符号数最低有效位是否可靠？

我开发了一个大量使用ffs()函数的应用，需要提供该函数的兼容实现。以下是针对uint8_t的最小实现示例（64位变体更复杂，故以此为例说明）：

static inline int ffsu8(uint8_t v)
{
  int r; 
  static const int MultiplyDeBruijnBitPosition[8] =
  { 
    0,1,6,2,7,5,4,3
  };
  r = MultiplyDeBruijnBitPosition[((uint8_t)((v & -v) * 0x1d)) >> 5];
  return v?(r+1):0;
}

通过延长查找表（反复试算内容）、修改0x1d为对应位宽的De Bruijn序列、调整右移位数，可实现16位、32位和64位版本的兼容函数。

我对其中用于提取最低有效置位位并清零其他位的v&-v技巧存在疑问：

我知道v + (-v) = 0成立，但在无符号数体系中，只有当-v计算的是v的补码逆时该等式才成立。不过并非所有机器的有符号数都采用补码算术，而且uint8_t在计算-v时会被自动提升为int，取反操作是在有符号算术下进行的；而uint64_t通常不会被提升为int，因为int的宽度很难超过uint64_t。

因此我想确认两个问题：

• 在所有ISO C99兼容实现中，是否可在任意位宽下可靠使用v&-v技巧提取最低有效置位位？
• 若无符号数取反不保证采用补码，那v&(~v+1)是否可行？编译器可能会将其识别为补码逆并生成单条指令。

编辑：根据我的研究及Eric Postpischil的优质回答，我调整实现如下：

static inline int ffsu8(uint8_t v)
{
 int r; 
 static const int MultiplyDeBruijnBitPosition[8] =
 { 
   0,1,6,2,7,5,4,3
 };
 r = MultiplyDeBruijnBitPosition[((uint8_t)(((uint8_t)(v&(uint8_t)-v))*0x1d))>>5];
 return v?(r+1):0;
}

该实现可行的唯一原因是v为无符号类型。

内容的提问来源于stack exchange，提问作者juhist