调用者:
被调用函数:
条件:size=0 | i=0
为什么i <= (size-1)能通过呢?
原来是[[整数溢出]],(size-1)该变量的类型原先是无符号整数(unsigned int64)
↓
当size=0,size=size-1=-1(0xffff),汇编对于无符号负数转换:下界溢出
-1转换为无符号数是4294967295
所以i<=(size-1)
调用者:
被调用函数:
条件:size=0 | i=0
为什么i <= (size-1)能通过呢?
原来是[[整数溢出]],(size-1)该变量的类型原先是无符号整数(unsigned int64)
↓
当size=0,size=size-1=-1(0xffff),汇编对于无符号负数转换:下界溢出
-1转换为无符号数是4294967295
所以i<=(size-1)