C语言的if语句的本质是什么？

#include <stdio.h>
int main()
{
int a=0;
int b=2;
if (a==1)
if(b==2)
printf("hehe\n");
else
printf("haha\n");
return 0;
}
这个程序执行的结果是什么也不输出。
我们知道在C语言中，if判断后要执行的语句如果有多个，要使用代码块，用大括号括起来。这个程序没有报错。执行主函数时，先判断是否a=1，结果错误，不执行if后的内容。从这里是不是就可以看出，if后的双分支条件判断语句在逻辑上视作一个语句？
语句的划分标准是分号，可以看见双分支语句里有两个分号，这样的语句算作一个语句还是两个语句呢？

你还是加上括号吧，至少编码要规范

int a = 0;
int b = 2;
if (a == 1)
    if (b == 2)
        printf("hehe\n");
    else
        printf("haha\n");
return 0;

分号代表语句结束，算两个

 if后只执行一个语句（在没有大括号的情况下），你这个程序首先执行if（a==1）,不满足应执行else，但这个if没有else，下面那个else与最近的if对应，所以直接return 0。
 如果有用，请采纳。

你这两个if，第一个if不满足条件，直接代码就执行完了