Searched refs:EXPR_SIZEOF (Results 1 – 3 of 3) sorted by relevance
207 if (type == EXPR_SIZEOF) in make_exprt()596 case EXPR_SIZEOF: in resolve_expression()766 case EXPR_SIZEOF: in write_expr()931 case EXPR_SIZEOF: in compare_expr()
185 EXPR_SIZEOF, enumerator
730 { $$ = make_exprt(EXPR_SIZEOF, declare_var(NULL, $3, $4, 0), NULL); free($3); free($4); }