profile/Inputs/instrprof-dynamic-main.cpp

#include "instrprof-dynamic-header.h"
void foo(int K) { if (K) {} }
int main(int argc, char *argv[]) {
  foo(5);
  bar<void>();
  a();
  b();
  return 0;
}