Skip to content

Commit 6acd877

Browse files
Format essentialTypes
1 parent fb6eaaa commit 6acd877

File tree

1 file changed

+5
-6
lines changed

1 file changed

+5
-6
lines changed

c/misra/src/codingstandards/c/misra/EssentialTypes.qll

+5-6
Original file line numberDiff line numberDiff line change
@@ -357,8 +357,9 @@ class EssentialBinaryOperationSubjectToUsualConversions extends EssentialExpr, B
357357
*/
358358
class EssentialAddExpr extends EssentialBinaryOperationSubjectToUsualConversions, AddExpr {
359359
override Type getEssentialType() {
360-
exists(Type otherOperandType,
361-
EssentialTypeCategory operandTypeCategory, EssentialTypeCategory otherOperandTypeCategory, int intTypeSize
360+
exists(
361+
Type otherOperandType, EssentialTypeCategory operandTypeCategory,
362+
EssentialTypeCategory otherOperandTypeCategory, int intTypeSize
362363
|
363364
operandTypeCategory = getEssentialTypeCategory(getEssentialType(getAnOperand())) and
364365
otherOperandType = getEssentialType(getAnOperand()) and
@@ -381,10 +382,8 @@ class EssentialAddExpr extends EssentialBinaryOperationSubjectToUsualConversions
381382
class EssentialSubExpr extends EssentialBinaryOperationSubjectToUsualConversions, SubExpr {
382383
override Type getEssentialType() {
383384
exists(
384-
EssentialTypeCategory leftEssentialTypeCategory,
385-
Type rightEssentialType,
386-
EssentialTypeCategory rightEssentialTypeCategory,
387-
int intTypeSize
385+
EssentialTypeCategory leftEssentialTypeCategory, Type rightEssentialType,
386+
EssentialTypeCategory rightEssentialTypeCategory, int intTypeSize
388387
|
389388
leftEssentialTypeCategory = getEssentialTypeCategory(getEssentialType(getLeftOperand())) and
390389
rightEssentialType = getEssentialType(getRightOperand()) and

0 commit comments

Comments
 (0)