关于C语言的逻辑短路

在C标准中，有这样的规定：
在“exp1 && exp2” 中如果exp1为false，则不再计算exp2的值
在“exp1 ¦ ¦ exp2” 中如果exp1为true，则不再计算exp2的值
这种机制被称为”逻辑短路“，一是为了优化，更重要的是为了提高代码的可移植性，避免产生二义性
但并不是所有的实现都支持这种机制
比如如下的C代码：

void cond(int a, int *p)
{
if (p && a > 0)
*p += a;
}

命名为cond.c, 用如下命令编译成汇编语言文件：
gcc -O2 -S cond.c

得到如下的.s文件：

.file	"cond.c"
.text
.p2align 4,,15
.globl _cond
.def	_cond;	.scl	2;	.type	32;	.endef
_cond:
pushl	%ebp
movl	%esp, %ebp
movl	12(%ebp), %ecx
pushl	%ebx
movl	8(%ebp), %ebx
testl	%ecx, %ecx
setne	%al
xorl	%edx, %edx
testl	%ebx, %ebx
setg	%dl
testl	%eax, %edx
je	L1
addl	%ebx, (%ecx)
L1:
popl	%ebx
popl	%ebp
ret

这里就没有采用逻辑短路机制，&&前后的两个条件都进行了计算