167a168,169
> 'is_valid' : 'IS_VALID',
> 'is_invalid' : 'IS_INVALID',
173a176
> 'OOD' : 'OOD',
579c582
< p[0] = ast.StaticCastAST(self, p[3], p[5])
---
> p[0] = ast.StaticCastAST(self, p[3], "ref", p[5])
580a584,587
> def p_statement__static_cast_ptr(self, p):
> "aexpr : STATIC_CAST '(' type ',' STRING ',' expr ')'"
> p[0] = ast.StaticCastAST(self, p[3], p[5], p[7])
>
605a613,616
> def p_expr__localvar(self, p):
> "aexpr : type ident"
> p[0] = ast.LocalVariableAST(self, p[1], p[2])
>
621a633,636
> def p_expr__null(self, p):
> "aexpr : OOD"
> p[0] = ast.OodAST(self)
>
689a705,712
> def p_expr__is_valid_ptr(self, p):
> "aexpr : IS_VALID '(' var ')'"
> p[0] = ast.IsValidPtrExprAST(self, p[3], True)
>
> def p_expr__is_invalid_ptr(self, p):
> "aexpr : IS_INVALID '(' var ')'"
> p[0] = ast.IsValidPtrExprAST(self, p[3], False)
>