Content - 32d5a0eea4e144c08c9c9434a07af5f1a384e162 - 60872cb/analysis-tests/green-tored-badpath.cpp

green-tored-badpath.cpp

#include "jstypes.h"

JS_REQUIRES_STACK void RedFunc();

JS_FORCES_STACK void TurnRedFunc();

void GreenPartlyRedFunc(int i)
{
  if (i) {
    TurnRedFunc();
  }

  RedFunc();
}