| 898 | } |
| 899 | |
| 900 | void OutputVolatileAddress(const vector<Variable*> &vars, std::ostream &out, int indent, const string &fp_string) |
| 901 | { |
| 902 | std::vector<Variable*>::const_iterator i; |
| 903 | std::vector<std::string> seen_names; |
| 904 | |
| 905 | for(i = vars.begin(); i != vars.end(); ++i) { |
| 906 | (*i)->output_volatile_address(out, indent, fp_string, seen_names); |
| 907 | } |
| 908 | } |
| 909 | |
| 910 | // -------------------------------------------------------------- |
| 911 | void |