-
Notifications
You must be signed in to change notification settings - Fork 61
/
Copy pathtest.cpp
43 lines (35 loc) · 1.18 KB
/
test.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#include <cstdint>
void f() {
using std::int16_t;
using std::int32_t;
using std::int8_t;
int8_t i8;
int16_t i16;
int32_t i32;
i32 = static_cast<int32_t>(i16 + i8); // NON_COMPLIANT
i32 = static_cast<int32_t>(i16 + i16); // NON_COMPLIANT
i16 = static_cast<int16_t>(1 + 1); // NON_COMPLIANT
i8 = static_cast<int8_t>(1 + 1); // COMPLIANT
i32 = static_cast<int32_t>(i16) + i16; // COMPLIANT
i32 = static_cast<int32_t>(i16) + i8; // COMPLIANT
// In this test `float` is 4 bytes and `double` is 8 bytes.
float f32;
double f64;
f64 = static_cast<double>(f32 + 1); // NON_COMPLIANT
f64 = static_cast<double>(1.0f + 1.0f); // NON_COMPLIANT
f32 = static_cast<float>(1.0f + 1); // COMPLIANT
f64 = static_cast<double>(1.0 + 1); // COMPLIANT; no suffix defines a double
}
#include <vector>
void function_args() {
std::vector<std::uint8_t> v{0};
std::uint32_t u32{0};
v.at(static_cast<std::size_t>(u32)); // COMPLIANT - cast is not a cvalue
std::size_t st =
static_cast<std::size_t>(u32); // COMPLIANT - cast is not a cvalue
v.at(st);
}
std::size_t return_args() {
std::uint32_t u32{0};
return static_cast<std::size_t>(u32); // COMPLIANT
}