https://github.com/epiqc/ScaffCC
Raw File
Tip revision: 66a79944ee4cd116b27bc1a69137276885461db8 authored by Andrew Litteken on 28 September 2021, 15:30:02 UTC
Merge pull request #49 from AndrewLitteken/master
Tip revision: 66a7994
goto2.cpp
// RUN: %clang_cc1 -fsyntax-only -verify %s
// expected-no-diagnostics

//PR9463
int subfun(const char *text) {
  const char *tmp = text;
  return 0;
}

void fun(const char* text) {
  int count = 0;
  bool check = true;

  if (check)
    {
      const char *end = text;

      if (check)
        {
          do
            {
              if (check)
                {
                  count = subfun(end);
                  goto end;
                }

              check = !check;
            }
          while (check);
        }
      // also works, after commenting following line of source code
      int e = subfun(end);
    }
 end:
  if (check)
    ++count;
}

const char *text = "some text";

int main() {
	const char *ptr = text;

	fun(ptr);

	return 0;
}
back to top