• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /**
2  * Copyright (c) 2021-2022 Huawei Device Co., Ltd.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at
6  *
7  * http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15 
16 #include "util/optional_ref.h"
17 
18 #include "util/tests/verifier_test.h"
19 
20 #include <gtest/gtest.h>
21 
22 namespace panda::verifier::test {
23 
TEST_F(VerifierTest,invalid_ref)24 TEST_F(VerifierTest, invalid_ref)
25 {
26     int a = 2;
27     OptionalRef<int> ref1 {a};
28     OptionalConstRef<int> ref2 {a};
29     OptionalRef<int> inv_ref1;
30     OptionalRef<int> inv_ref12 = {};
31 
32     ASSERT_TRUE(ref1.HasRef());
33     ASSERT_TRUE(ref2.HasRef());
34     EXPECT_EQ(ref1.Get(), 2);
35     EXPECT_EQ(ref2.Get(), 2);
36     EXPECT_TRUE(!inv_ref1.HasRef());
37     EXPECT_TRUE(!inv_ref12.HasRef());
38 }
39 
40 }  // namespace panda::verifier::test