goto2c_check.cpp File Reference

#include <goto2c/goto2c.h>

Include dependency graph for goto2c_check.cpp:

Functions
void	check_if_sideeffect_or_assign_expr (expr2tc expr)

Function Documentation

check_if_sideeffect_or_assign_expr()

void check_if_sideeffect_or_assign_expr

(

expr2tc

expr

)