Skip to content

Commit b9cbb1c

Browse files
committed
Add package files and factor out shared code
1 parent 69ad124 commit b9cbb1c

File tree

30 files changed

+313
-152
lines changed

30 files changed

+313
-152
lines changed
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
No expected results have yet been specified
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// GENERATED FILE - DO NOT MODIFY
2+
import codingstandards.cpp.rules.objectassignedtoanoverlappingobject.ObjectAssignedToAnOverlappingObject
3+
4+
class TestFileQuery extends ObjectAssignedToAnOverlappingObjectSharedQuery, TestQuery { }

c/common/test/rules/objectassignedtoanoverlappingobject/test.c

Whitespace-only changes.
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
No expected results have yet been specified
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
// GENERATED FILE - DO NOT MODIFY
2+
import codingstandards.cpp.rules.objectcopiedtoanoverlappingobject.ObjectCopiedToAnOverlappingObject
3+
4+
class TestFileQuery extends ObjectCopiedToAnOverlappingObjectSharedQuery, TestQuery { }

c/common/test/rules/objectcopiedtoanoverlappingobject/test.c

Whitespace-only changes.

c/misra/src/rules/RULE-19-1/ObjectAssignedToAnOverlappingObject.ql

Lines changed: 0 additions & 55 deletions
This file was deleted.
Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
/**
2+
* @id c/misra/object-assigned-to-an-overlapping-object-misra-c
3+
* @name RULE-19-1: An object shall not be assigned to an overlapping object
4+
* @description An object shall not be copied or assigned to an overlapping object.
5+
* @kind problem
6+
* @precision high
7+
* @problem.severity error
8+
* @tags external/misra/id/rule-19-1
9+
* correctness
10+
* external/misra/c/2012/third-edition-first-revision
11+
* external/misra/obligation/mandatory
12+
*/
13+
14+
import cpp
15+
import codingstandards.c.misra
16+
import codingstandards.cpp.rules.objectassignedtoanoverlappingobject.ObjectAssignedToAnOverlappingObject
17+
18+
class ObjectAssignedToAnOverlappingObjectMisraCQuery extends ObjectAssignedToAnOverlappingObjectSharedQuery {
19+
ObjectAssignedToAnOverlappingObjectMisraCQuery() {
20+
this = Contracts7Package::objectAssignedToAnOverlappingObjectMisraCQuery()
21+
}
22+
}
Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
/**
2+
* @id c/misra/object-copied-to-an-overlapping-object-misra-c
3+
* @name RULE-19-1: An object shall not be copied to an overlapping object
4+
* @description An object shall not be copied to an overlapping object.
5+
* @kind problem
6+
* @precision high
7+
* @problem.severity error
8+
* @tags external/misra/id/rule-19-1
9+
* correctness
10+
* external/misra/c/2012/third-edition-first-revision
11+
* external/misra/obligation/mandatory
12+
*/
13+
14+
import cpp
15+
import codingstandards.c.misra
16+
import codingstandards.cpp.rules.objectcopiedtoanoverlappingobject.ObjectCopiedToAnOverlappingObject
17+
18+
class ObjectCopiedToAnOverlappingObjectMisraCQuery extends ObjectCopiedToAnOverlappingObjectSharedQuery {
19+
ObjectCopiedToAnOverlappingObjectMisraCQuery() {
20+
this = Contracts7Package::objectCopiedToAnOverlappingObjectMisraCQuery()
21+
}
22+
}
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
c/common/test/rules/objectassignedtoanoverlappingobject/ObjectAssignedToAnOverlappingObject.ql

0 commit comments

Comments
 (0)