Skip to content

Commit b174b09

Browse files
committed
A8-4-7: fix missing namechange
1 parent bd07f27 commit b174b09

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/autosar/src/rules/A8-4-7/TriviallyCopyableSmallType.qll

+2-2
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,11 @@ int wordSize() { result = max(VoidPointerType v | | v.getSize()) }
1212
* Converts bytes to words
1313
*/
1414
bindingset[bytes]
15-
int minWordsRequiredToRepresentBytes(int bytes) { result = (1.0*bytes / wordSize()).ceil() }
15+
int minWordsRequiredToRepresentBytes(int bytes) { result = (1.0 * bytes / wordSize()).ceil() }
1616

1717
class TriviallyCopyableSmallType extends Type {
1818
TriviallyCopyableSmallType() {
1919
isTriviallyCopyableType(this) and
20-
exists(int size | size = this.getSize() | bytesToWords(size) <= 2)
20+
exists(int size | size = this.getSize() | minWordsRequiredToRepresentBytes(size) <= 2)
2121
}
2222
}

0 commit comments

Comments
 (0)