1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2020 Huawei Technologies Co., Ltd
4  */
5 
6 extern "C" {
7 #include "os_test_lib.h"
8 #include <tee_api_types.h>
9 }
10 
11 class OsTestLibCtorTest {
12 public:
OsTestLibCtorTest()13 	OsTestLibCtorTest() : val(2) {}
14 
15 	int val;
16 };
17 
18 static OsTestLibCtorTest os_test_lib_ctor_test;
19 
os_test_shlib_cxx_ctor(void)20 TEE_Result os_test_shlib_cxx_ctor(void)
21 {
22 	if (os_test_lib_ctor_test.val != 2)
23 		return TEE_ERROR_GENERIC;
24 
25 	return TEE_SUCCESS;
26 }
27