CBMC
|
Compute objects assigned to in a function. More...
#include "function_assigns.h"
#include <util/std_expr.h>
#include <analyses/local_may_alias.h>
#include "loop_utils.h"
Go to the source code of this file.
Compute objects assigned to in a function.
Definition in file function_assigns.cpp.