goto deref_fault; \
})
-#define CATCH_DEREF_FAULT() \
- if (0) { \
-deref_fault: ; \
- }
+#define CATCH_DEREF_FAULT() ({0; }) /* always emitted by translator.cxx for functions & probes */
#endif
#endif /* _LOC2C_RUNTIME_H_ */
o->newline() << "assert_is_myproc();";
o->newline() << "{";
- if (1 || s->code.find ("CATCH_DEREF_FAULT") != string::npos)
- o->newline() << "__label__ deref_fault;";
+ // if (1 || s->code.find ("CATCH_DEREF_FAULT") != string::npos)
+ // o->newline() << "__label__ deref_fault;";
vector<vardecl*> read_defs;
vector<vardecl*> write_defs;
for (vector<vardecl*>::const_iterator it = write_defs.begin(); it != write_defs.end(); ++it)
c_global_write_undef(*it);
- if (1 || s->code.find ("CATCH_DEREF_FAULT") != string::npos)
- o->newline() << ";";
+ // if (1 || s->code.find ("CATCH_DEREF_FAULT") != string::npos)
+ // o->newline() << ";";
o->newline() << "}";
}