blob: 764310fc05b78e8a1138e3753ed62a092e8cfba9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Build don't link:
// prms-id: 6746
class call_trace {
public:
call_trace(char* fcn_name);
~call_trace();
};
static char * last_tree;
extern "C" void prt();
char * smt_mark_stree() {
char* _my_name = "smt_mark_stree" ;
call_trace _t(_my_name);
return last_tree = 0 ? (char*)0 : (prt(), (char*)0);
}
|