| 65 | void post_loop_analysis(CGContext& cg_context, vector<const Fact*>& pre_facts, Effect& pre_effect); |
| 66 | const StatementAssign* get_init(void) const { return &init;}; |
| 67 | const Expression* get_test(void) const { return &test; }; |
| 68 | const StatementAssign* get_incr(void) const { return &incr; }; |
| 69 | const Block* get_body(void) const { return &body; }; |
| 70 | void output_header(std::ostream& out, int indent) const; |
nothing calls this directly
no outgoing calls
no test coverage detected