C语言的隐式类型转换

看了一篇博文，该文章中有如下描述

 #include <stdio.h>  

 int main()
 {
     unsigned short a = ;
     unsigned short b = ;  

     if (a < (b-)) //a和b-1的结果-1都被转换为int类型进行比较，1<-1，显然false
     {
         printf("in if\n");
     }  

     return ;  

 }  

预期结果时打印“in if”，但实际运行时却发现啥都没有输出。改为如下代码就可以正常输出“in if”，此时与预期相符

 #include <stdio.h>  

 int main()
 {
     unsigned short a = ;
     unsigned int b = ;  

     if (a < (b-)) //b-1的结果-1，被转换为0xffffffff，1<0xffffffff，显然true啊
     {
         printf("in if\n");
     }  

     return ;  

 }  

使用汇编，直接对比两者结果（公司安全不让发送外网图片..），发现主要差异在如下5行，前四行中对short进行了扩展，由2字节扩展为4字节，高位填充0。导致运行结果与与预期不符合的原因就在第5行：jge 8048461

  <main>:
  :      8d 4c                lea    0x4(%esp),%ecx
  :       e4 f0                 and    $0xfffffff0,%esp
  804842c:      ff  fc                 pushl  -0x4(%ecx)
  804842f:                             push   %ebp
  :       e5                    mov    %esp,%ebp
  :                             push   %ecx
  :       ec                  sub    $0x14,%esp
  :       c7  f6          movw   $0x1,-0xa(%ebp)
  804843c:       c7  f4          movw   $0x0,-0xc(%ebp)
  :      0f b7  f6              movzwl -0xa(%ebp),%eax
  :      0f b7  f4              movzwl -0xc(%ebp),%edx
  804844a:       ea                  sub    $0x1,%edx
  804844d:       d0                    cmp    %edx,%eax
  804844f:      7d                     jge     <main+0x3c>
  :       ec 0c                 sub    $0xc,%esp
  :                     push   $0x8048500
  :      e8 a2 fe ff ff           call    <puts@plt>
  804845e:       c4                  add    $0x10,%esp
  :      b8               mov    $0x0,%eax
  :      8b 4d fc                 mov    -0x4(%ebp),%ecx
  :      c9                       leave
  804846a:      8d  fc                 lea    -0x4(%ecx),%esp
  804846d:      c3                       ret
  804846e:                           xchg   %ax,%ax

汇编中的数值是没有符号之分的，但指令是有符号分别的，上述使用的jge即是有符号比较的方式，导致比较结果为：if (1<-1)，为false，不会打印字符串

指令	含义	运算符号
jbe	unsigned below or equal (lower or same)	<=
jae	unsigned above or equal (higher or same)	>=
jb	unsigned below (lower)	<
ja	unsigned above (higher)	>
jle	signed less or equal	<=
jge	signed greater or equal	>=
jl	signed less than	<
jg	signed greater than	>