12.（单选题）假设变量 $a,b,c$ 均为绝对值不超过 $10^9$ 的 32 位有符号整型变量，下列关于这三个变量，说法正确的是（ ）。

{{ select(1) }}

• 若执行代码 auto d = a * b; 则 d 的变量类型是 64 位有符号整型变量
• 逻辑表达式 max(a, b) * 1LL * c == max(1LL * a * c, 1LL * b * c) 的运算结果一定为真
• 执行代码 cout << sizeof(a); 后，输出的结果为 4
• for (unsigned i = a; i < b; i++) 可能是一个死循环