File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
codingstandards/cpp/misra Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change
1
+ /**
2
+ * A library for utility classes related to the built-in type rules in MISRA C++ 2023 (Section 4.7.0).
3
+ */
4
+
1
5
import cpp
2
6
import codingstandards.cpp.misra
3
7
import codingstandards.cpp.Type
@@ -54,7 +58,7 @@ TypeCategory getTypeCategory(BuiltInType t) {
54
58
}
55
59
56
60
/**
57
- * The signedness of a MISRA C++ 2023 numeric type
61
+ * The signedness of a MISRA C++ 2023 numeric type.
58
62
*/
59
63
newtype Signedness =
60
64
Signed ( ) or
Original file line number Diff line number Diff line change 16
16
import cpp
17
17
import codingstandards.cpp.misra
18
18
import codingstandards.cpp.ConstantExpressions
19
- import codingstandards.cpp.misra.StandardConversions
19
+ import codingstandards.cpp.misra.BuiltInTypeRules
20
20
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
21
21
22
22
predicate isValidConstantAssignment ( IntegerConstantExpr source , NumericType targetType ) {
You can’t perform that action at this time.
0 commit comments