[cfe-commits] r45015 - /cfe/trunk/AST/CFG.cpp

[Mike Stump]

On Dec 13, 2007, at 2:44 PM, Ted Kremenek wrote:
> Author: kremenek
> Date: Thu Dec 13 16:44:18 2007
> New Revision: 45015
>
> URL: http://llvm.org/viewvc/llvm-project?rev=45015&view=rev
> Log:
> CFG bug fix: for sizeof(expressions), don't expand the control-flow
> of "expressions", since they are not really evaluated.

        6.5.3.4  The sizeof operator

        Constraints

        [#1]  The  sizeof  operator  shall  not  be  applied  to  an
        expression that has function type or an incomplete type,  to
        the  parenthesized name of such a type, or to an lvalue that
        designates a bit-field object.

        Semantics

        [#2] The sizeof operator yields the size (in bytes)  of  its
        operand,  which  may  be  an expression or the parenthesized
        name of a type.  The size is determined from the type of the
        operand.   The  result  is  an  integer.  If the type of the
        operand is a variable length  array  type,  the  operand  is
        evaluated;  otherwise,  the operand is not evaluated and the
        result is an integer constant.

notice the operand is evaluated part...  :-)