What is the Result from Invoking this Halt Function?

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 07/30/04 

Date: Fri, 30 Jul 2004 03:42:10 GMT

//
// All of the functions are assumed to be standard C++
//
void LoopIfHalts (string ProgramSourceFile, string InputData)
{
  if WillHalt01(ProgramSourceFile, InputData)
    while (true)
      ;
  else // to make it easier for people who don't know C++
     return;
}

bool WillHalt02(LoopIfHalts, LoopIfHalts)

If we assume that WillHalt01, and WillHalt02 are in separate memory
space, such that LoopIfHalts only calls WillHalt01, what will be the
result of invoking WillHalt02 ?

***NOTE*** WillHalt01, and Willhalt02 are identical in every
way, except that they reside in separate memory space.

Relevant Pages