Guarded against unreachable code warnings
This commit is contained in:
parent
a2b6a81cae
commit
8fe68c5fc3
2 changed files with 4 additions and 4 deletions
|
|
@ -201,6 +201,7 @@ int main(int argc, char * argv[], char * envp[])
|
|||
// up everything by closing the session and deleting the session object, and
|
||||
// then shutting down the memory tracing subsystem. Otherwise, let it all
|
||||
// leak because we're about to exit anyway.
|
||||
#if defined(VERIFY_ON)
|
||||
IF_VERIFY() {
|
||||
checked_delete(global_scope);
|
||||
|
||||
|
|
@ -208,7 +209,9 @@ int main(int argc, char * argv[], char * envp[])
|
|||
#if defined(VERIFY_ON)
|
||||
shutdown_memory_tracing();
|
||||
#endif
|
||||
} else {
|
||||
} else
|
||||
#endif
|
||||
{
|
||||
INFO("Ledger ended"); // let global_scope leak!
|
||||
}
|
||||
|
||||
|
|
|
|||
|
|
@ -553,9 +553,6 @@ void logger_func(log_level_t level)
|
|||
#if defined(VERIFY_ON)
|
||||
IF_VERIFY()
|
||||
*_log_stream << " TIME OBJSZ MEMSZ" << std::endl;
|
||||
#else
|
||||
IF_VERIFY()
|
||||
*_log_stream << " TIME" << std::endl;
|
||||
#endif
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue