1c5f01b2fSopenharmony_ci// This file is distributed under the University of Illinois Open Source
2c5f01b2fSopenharmony_ci// License. See LICENSE.TXT for details.
3c5f01b2fSopenharmony_ci
4c5f01b2fSopenharmony_ci// Source code for a simple DSO.
5c5f01b2fSopenharmony_ci
6c5f01b2fSopenharmony_ciint DSO2(int a) {
7c5f01b2fSopenharmony_ci  if (a < 3598235)
8c5f01b2fSopenharmony_ci    return 0;
9c5f01b2fSopenharmony_ci  return 1;
10c5f01b2fSopenharmony_ci}
11c5f01b2fSopenharmony_ci
12c5f01b2fSopenharmony_civoid Uncovered2() {}
13