@specs-feup/clava-misra 1.0.0 → 1.0.1

package/dist/misra/passes/S10_EssentialTypePass.d.ts

@@ -0,0 +1,42 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+import { Expression, Type } from "@specs-feup/clava/api/Joinpoints.js";
+export declare enum EssentialTypes {
+    UNSIGNED = "unsigned",
+    CHAR = "char",
+    SIGNED = "signed",
+    ENUM = "enum",
+    FLOAT = "float",
+    BOOL = "bool",
+    UNKOWN = "unkown"
+}
+export interface EssentialType {
+    category: EssentialTypes;
+    enumName?: string;
+}
+export default class S10_EssentialTypePass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    static getEssentialType(bType: Type): EssentialType;
+    static isInteger($et: EssentialTypes): boolean;
+    static getExprEssentialType($expr: Expression): EssentialType;
+    private restrictOperand;
+    private restrictOperandList;
+    private r10_1_appropriateEssentialOperands;
+    private r10_2_appropriateCharOperands;
+    private static isAssignable;
+    private r10_3_noInvalidAssignments;
+    private static checkBoolSource;
+    private r10_5_noInvalidCasts;
+    private static isCompositeBinaryExpr;
+    private static isCompositeExpr;
+    private static compositeExprWidth;
+    private static transformBinaryOp;
+    private static transformTernaryOp;
+    private r10_6_noWiderCompositeExprAssignments;
+    private r10_8_noWiderCompositeCasts;
+    protected _name: string;
+}
+//# sourceMappingURL=S10_EssentialTypePass.d.ts.map

package/dist/misra/passes/S10_EssentialTypePass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S10_EssentialTypePass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S10_EssentialTypePass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAA+C,UAAU,EAAiF,IAAI,EAAoB,MAAM,qCAAqC,CAAC;AAIrN,oBAAY,cAAc;IACtB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,IAAI,SAAS;IACb,MAAM,WAAW;CACpB;AAED,MAAM,WAAW,aAAa;IAC1B,QAAQ,EAAE,cAAc,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAA;CACpB;AAED,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;IACxD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAWtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,MAAM,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,GAAG,aAAa;IA8BnD,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,cAAc,GAAG,OAAO;IAI9C,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa;IAmB7D,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,mBAAmB;IAM3B,OAAO,CAAC,kCAAkC;IAwD1C,OAAO,CAAC,6BAA6B;IAqCrC,OAAO,CAAC,MAAM,CAAC,YAAY;IAa3B,OAAO,CAAC,0BAA0B;IAuClC,OAAO,CAAC,MAAM,CAAC,eAAe;IAU9B,OAAO,CAAC,oBAAoB;IA2B5B,OAAO,CAAC,MAAM,CAAC,qBAAqB;IAIpC,OAAO,CAAC,MAAM,CAAC,eAAe;IAiB9B,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAiBjC,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAIhC,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAcjC,OAAO,CAAC,qCAAqC;IAqB7C,OAAO,CAAC,2BAA2B;IAwBnC,SAAS,CAAC,KAAK,EAAE,MAAM,CAA0B;CAEpD"}

package/dist/misra/passes/S10_EssentialTypePass.js

@@ -0,0 +1,370 @@
+import MISRAPass from "../MISRAPass.js";
+import { BinaryOp, BuiltinType, Call, Cast, EnumType, Expression, IntLiteral, ParenExpr, QualType, ReturnStmt, TernaryOp, UnaryOp, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export var EssentialTypes;
+(function (EssentialTypes) {
+    EssentialTypes["UNSIGNED"] = "unsigned";
+    EssentialTypes["CHAR"] = "char";
+    EssentialTypes["SIGNED"] = "signed";
+    EssentialTypes["ENUM"] = "enum";
+    EssentialTypes["FLOAT"] = "float";
+    EssentialTypes["BOOL"] = "bool";
+    EssentialTypes["UNKOWN"] = "unkown";
+})(EssentialTypes || (EssentialTypes = {}));
+;
+export default class S10_EssentialTypePass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r10_1_appropriateEssentialOperands.bind(this)],
+            [2, this.r10_2_appropriateCharOperands.bind(this)],
+            [3, this.r10_3_noInvalidAssignments.bind(this)],
+            [5, this.r10_5_noInvalidCasts.bind(this)],
+            [6, this.r10_6_noWiderCompositeExprAssignments.bind(this)],
+            [8, this.r10_8_noWiderCompositeCasts.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Expression || $jp instanceof Vardecl || $jp instanceof ReturnStmt;
+    }
+    static getEssentialType(bType) {
+        let type = bType.desugarAll;
+        while (type instanceof QualType) {
+            type = type.unqualifiedType.desugarAll;
+        }
+        if (type instanceof BuiltinType) {
+            if (type.builtinKind === "Bool") {
+                return { category: EssentialTypes.BOOL };
+            }
+            else if (type.builtinKind === "Char_S") {
+                return { category: EssentialTypes.CHAR };
+            }
+            else if (type.isInteger && type.isSigned === true) {
+                return { category: EssentialTypes.SIGNED };
+            }
+            else if (type.isInteger && type.isSigned === false) {
+                return { category: EssentialTypes.UNSIGNED };
+            }
+            else if (type.isFloat) {
+                return { category: EssentialTypes.FLOAT };
+            }
+        }
+        else if (type instanceof EnumType) {
+            return type.name === "" ? { category: EssentialTypes.SIGNED } : { category: EssentialTypes.ENUM, enumName: type.name };
+        }
+        return { category: EssentialTypes.UNKOWN };
+    }
+    static isInteger($et) {
+        return $et === EssentialTypes.SIGNED || $et === EssentialTypes.UNSIGNED;
+    }
+    static getExprEssentialType($expr) {
+        if ($expr instanceof BinaryOp) {
+            if ($expr.kind === "add") {
+                if ((this.getExprEssentialType($expr.left).category === EssentialTypes.CHAR && this.isInteger(this.getExprEssentialType($expr.right).category))
+                    || (this.getExprEssentialType($expr.right).category === EssentialTypes.CHAR && this.isInteger(this.getExprEssentialType($expr.left).category))) {
+                    return { category: EssentialTypes.CHAR };
+                }
+            }
+            else if ($expr.kind === "sub") {
+                if (this.getExprEssentialType($expr.left).category === EssentialTypes.CHAR) {
+                    if (this.getExprEssentialType($expr.right).category === EssentialTypes.CHAR) {
+                        return { category: EssentialTypes.CHAR };
+                    }
+                }
+            }
+        }
+        return this.getEssentialType($expr.type);
+    }
+    restrictOperand($expr, $restrictedType, $baseExpr, $castTo) {
+        const et = S10_EssentialTypePass.getExprEssentialType($expr);
+        if (et.category === $restrictedType) {
+            const fix = $castTo ? new Fix($expr, ($jp) => {
+                $jp.replaceWith(ClavaJoinPoints.cStyleCast($castTo, $jp));
+            }) : undefined;
+            this.logMISRAError(`Operand ${$expr.code} of expression ${$baseExpr.code} must not have essentially ${et.category} type.`, fix);
+        }
+    }
+    restrictOperandList($expr, $restrictedTypes, $baseExpr, $castTo) {
+        for (const type of $restrictedTypes) {
+            this.restrictOperand($expr, type, $baseExpr, $castTo);
+        }
+    }
+    r10_1_appropriateEssentialOperands($startNode) {
+        if ($startNode instanceof TernaryOp) {
+            this.restrictOperandList($startNode.cond, [EssentialTypes.CHAR, EssentialTypes.ENUM, EssentialTypes.FLOAT, EssentialTypes.SIGNED, EssentialTypes.UNSIGNED], $startNode);
+        }
+        else if ($startNode instanceof BinaryOp) {
+            switch ($startNode.kind) {
+                case "shl":
+                case "shr":
+                    if (!($startNode.right instanceof IntLiteral))
+                        this.restrictOperand($startNode.right, EssentialTypes.SIGNED, $startNode);
+                case "and":
+                case "or":
+                case "x_or":
+                    this.restrictOperand($startNode.left, EssentialTypes.SIGNED, $startNode);
+                    if ($startNode.kind !== "shl" && $startNode.kind !== "shr")
+                        this.restrictOperand($startNode.right, EssentialTypes.SIGNED, $startNode);
+                case "rem":
+                    this.restrictOperand($startNode.left, EssentialTypes.FLOAT, $startNode);
+                    this.restrictOperand($startNode.right, EssentialTypes.FLOAT, $startNode);
+                case "mul":
+                case "div":
+                    this.restrictOperand($startNode.left, EssentialTypes.CHAR, $startNode);
+                    this.restrictOperand($startNode.right, EssentialTypes.CHAR, $startNode);
+                case "add":
+                case "sub":
+                    this.restrictOperand($startNode.left, EssentialTypes.ENUM, $startNode);
+                    this.restrictOperand($startNode.right, EssentialTypes.ENUM, $startNode);
+                case "le":
+                case "ge":
+                case "lt":
+                case "gt":
+                    this.restrictOperand($startNode.left, EssentialTypes.BOOL, $startNode);
+                    this.restrictOperand($startNode.right, EssentialTypes.BOOL, $startNode);
+                    break;
+                case "l_and":
+                case "l_or":
+                    this.restrictOperandList($startNode.left, [EssentialTypes.ENUM, EssentialTypes.CHAR, EssentialTypes.SIGNED, EssentialTypes.UNSIGNED, EssentialTypes.FLOAT], $startNode);
+                    this.restrictOperandList($startNode.right, [EssentialTypes.ENUM, EssentialTypes.CHAR, EssentialTypes.SIGNED, EssentialTypes.UNSIGNED, EssentialTypes.FLOAT], $startNode);
+                    break;
+            }
+        }
+        else if ($startNode instanceof UnaryOp) {
+            switch ($startNode.kind) {
+                case "minus":
+                    this.restrictOperand($startNode.operand, EssentialTypes.UNSIGNED, $startNode);
+                case "plus":
+                    this.restrictOperandList($startNode.operand, [EssentialTypes.BOOL, EssentialTypes.CHAR, EssentialTypes.ENUM], $startNode);
+                    break;
+                case "l_not":
+                    this.restrictOperandList($startNode.operand, [EssentialTypes.ENUM, EssentialTypes.CHAR, EssentialTypes.SIGNED, EssentialTypes.UNSIGNED, EssentialTypes.FLOAT], $startNode);
+                    break;
+                case "not":
+                    this.restrictOperandList($startNode.operand, [EssentialTypes.BOOL, EssentialTypes.CHAR, EssentialTypes.ENUM, EssentialTypes.FLOAT, EssentialTypes.SIGNED], $startNode);
+                    break;
+            }
+        }
+    }
+    r10_2_appropriateCharOperands($startNode) {
+        if (!($startNode instanceof BinaryOp))
+            return;
+        if ($startNode.kind === "add") {
+            if (S10_EssentialTypePass.getExprEssentialType($startNode.left).category === EssentialTypes.CHAR && S10_EssentialTypePass.getExprEssentialType($startNode.right).category === EssentialTypes.CHAR) {
+                this.logMISRAError(`Both operands of addition ${$startNode.code} have essentially character type.`);
+                return;
+            }
+            let otherType;
+            if (S10_EssentialTypePass.getExprEssentialType($startNode.left).category === EssentialTypes.CHAR) {
+                otherType = S10_EssentialTypePass.getExprEssentialType($startNode.right);
+            }
+            else if (S10_EssentialTypePass.getExprEssentialType($startNode.right).category === EssentialTypes.CHAR) {
+                otherType = S10_EssentialTypePass.getExprEssentialType($startNode.left);
+            }
+            if (otherType && !S10_EssentialTypePass.isInteger(otherType.category)) {
+                this.logMISRAError(`One operand of addition ${$startNode.code} has essentially character type, so the other one must have either essentially signed or unsigned type.`);
+                return;
+            }
+        }
+        else if ($startNode.kind === "sub") {
+            if (S10_EssentialTypePass.getExprEssentialType($startNode.left).category === EssentialTypes.CHAR) {
+                const rightType = S10_EssentialTypePass.getExprEssentialType($startNode.right);
+                if (!([EssentialTypes.CHAR, EssentialTypes.SIGNED, EssentialTypes.UNKOWN].some(et => et === rightType.category))) {
+                    this.logMISRAError(`Left operand of subtraction ${$startNode.code} has essentially character type, so the RHS must be essentially signed, unsigned, or char.`);
+                    return;
+                }
+            }
+            else if (S10_EssentialTypePass.getExprEssentialType($startNode.right).category === EssentialTypes.CHAR) {
+                this.logMISRAError(`Right operand of subtraction ${$startNode.code} can only be of essentially character type if the LHS is too.`);
+                return;
+            }
+        }
+    }
+    static isAssignable($t1, $t2, $rhs) {
+        if ($t1.category === EssentialTypes.UNSIGNED && $rhs instanceof IntLiteral) {
+            return true;
+        }
+        else if ($t1.category !== $t2.category) {
+            return false;
+        }
+        else if ($t1.category === EssentialTypes.ENUM && $t1.enumName === $t2.enumName) {
+            return false;
+        }
+        else
+            return true;
+    }
+    r10_3_noInvalidAssignments($startNode) {
+        if ($startNode instanceof BinaryOp && $startNode.kind === "assign") {
+            if (!S10_EssentialTypePass.isAssignable(S10_EssentialTypePass.getExprEssentialType($startNode.left), S10_EssentialTypePass.getExprEssentialType($startNode.right), $startNode.right)) {
+                this.logMISRAError(`Value ${$startNode.right.code} cannot be assigned to ${$startNode.left.code}, since it has a different essential type category.`);
+            }
+            else if ($startNode.left.bitWidth < $startNode.right.bitWidth) {
+                this.logMISRAError(`Value ${$startNode.right.code} cannot be assigned to ${$startNode.left.code} since it has a narrower type.`);
+            }
+        }
+        else if ($startNode instanceof Vardecl && $startNode.hasInit) {
+            if (!S10_EssentialTypePass.isAssignable(S10_EssentialTypePass.getEssentialType($startNode.type), S10_EssentialTypePass.getExprEssentialType($startNode.init), $startNode.init)) {
+                this.logMISRAError(`Value ${$startNode.init.code} cannot be initialized in ${$startNode.code}, since it has a different essential type category.`);
+            }
+            else if ($startNode.bitWidth < $startNode.init.bitWidth) {
+                this.logMISRAError(`Value ${$startNode.init.code} cannot be initialized im ${$startNode.code} since it has a narrower type.`);
+            }
+        }
+        else if ($startNode instanceof ReturnStmt && $startNode.returnExpr) {
+            const fun = $startNode.getAncestor("function");
+            if (!S10_EssentialTypePass.isAssignable(S10_EssentialTypePass.getExprEssentialType($startNode.returnExpr), S10_EssentialTypePass.getEssentialType(fun.returnType), $startNode.returnExpr)) {
+                this.logMISRAError(`Value ${$startNode.returnExpr.code} cannot be returned by ${fun.signature}, since it has a different essential type category.`);
+            }
+            else if (fun.bitWidth < $startNode.returnExpr.bitWidth) {
+                this.logMISRAError(`Value ${$startNode.returnExpr.code} cannot be returned by ${fun.signature} since it has a narrower type.`);
+            }
+        }
+        else if ($startNode instanceof Call) {
+            const funParams = $startNode.directCallee.params;
+            for (let i = 0; i < funParams.length; i++) {
+                if (!S10_EssentialTypePass.isAssignable(S10_EssentialTypePass.getEssentialType(funParams[i].type), S10_EssentialTypePass.getEssentialType($startNode.argList[i].type), $startNode.argList[i])) {
+                    this.logMISRAError(`Value ${$startNode.argList[i].code} cannot be assigned to parameter ${funParams[i].code}, since it has a different essential type category.`);
+                }
+                else if (funParams[i].bitWidth < $startNode.argList[i].bitWidth) {
+                    this.logMISRAError(`Value ${$startNode.argList[i].code} cannot be assigned to parameter ${funParams[i].code}, since it has a narrower type.`);
+                }
+            }
+        }
+    }
+    static checkBoolSource(subExpr) {
+        if (S10_EssentialTypePass.getExprEssentialType(subExpr).category === EssentialTypes.BOOL) {
+            return true;
+        }
+        else if (subExpr instanceof IntLiteral && (Number(subExpr.value) === 0 || Number(subExpr.value) === 1)) {
+            return true;
+        }
+        else
+            return false;
+    }
+    r10_5_noInvalidCasts($startNode) {
+        if (!($startNode instanceof Cast))
+            return;
+        const subExpr = $startNode.subExpr;
+        const toType = $startNode.toType.desugarAll;
+        const toEssentialType = S10_EssentialTypePass.getEssentialType(toType);
+        const fromEssentialType = S10_EssentialTypePass.getExprEssentialType(subExpr);
+        if (toEssentialType.category === EssentialTypes.BOOL && !S10_EssentialTypePass.checkBoolSource($startNode.subExpr)) {
+            this.logMISRAError("Only essentially boolean values, or the integer constants 0 or 1, may be cast to an essentially boolean type.");
+        }
+        else if ((toEssentialType.category === EssentialTypes.ENUM && fromEssentialType.category === EssentialTypes.ENUM && toEssentialType.enumName !== fromEssentialType.enumName)
+            || (toEssentialType.category === EssentialTypes.ENUM && fromEssentialType.category !== EssentialTypes.ENUM)) {
+            this.logMISRAError("Only essentially enum values of the same enum may be cast to an essentially enum type.");
+        }
+        else if (toEssentialType.category === EssentialTypes.SIGNED && fromEssentialType.category === EssentialTypes.BOOL) {
+            this.logMISRAError("Essentially boolean values should not be cast to an essentially signed type.");
+        }
+        else if (toEssentialType.category === EssentialTypes.UNSIGNED && fromEssentialType.category === EssentialTypes.BOOL) {
+            this.logMISRAError("Essentially boolean values should not be cast to an essentially unsigned type.");
+        }
+        else if (toEssentialType.category === EssentialTypes.FLOAT && fromEssentialType.category === EssentialTypes.BOOL) {
+            this.logMISRAError("Essentially boolean values should not be cast to an essentially floating type.");
+        }
+    }
+    static isCompositeBinaryExpr($op) {
+        return /(add)|(sub)|(mul)|(div)|(rem)|(shl)|(shr)|(l_and)|(l_or)|(xor)/.test($op.kind);
+    }
+    static isCompositeExpr($expr) {
+        if ($expr instanceof ParenExpr) {
+            return this.isCompositeExpr($expr.subExpr);
+        }
+        else if ($expr instanceof BinaryOp) {
+            if (this.isCompositeBinaryExpr($expr)) {
+                return $expr;
+            }
+        }
+        else if ($expr instanceof TernaryOp) {
+            if (this.isCompositeExpr($expr.trueExpr) || this.isCompositeExpr($expr.falseExpr)) {
+                return $expr;
+            }
+        }
+        else
+            return undefined;
+    }
+    static compositeExprWidth($op) {
+        if ($op instanceof BinaryOp && S10_EssentialTypePass.isCompositeBinaryExpr($op)) {
+            const leftW = S10_EssentialTypePass.compositeExprWidth($op.left);
+            const rightW = S10_EssentialTypePass.compositeExprWidth($op.right);
+            return Math.max(leftW, rightW);
+        }
+        else if ($op instanceof TernaryOp) {
+            const secondW = S10_EssentialTypePass.compositeExprWidth($op.trueExpr);
+            const thirdW = S10_EssentialTypePass.compositeExprWidth($op.falseExpr);
+            return Math.min(secondW, thirdW);
+        }
+        else if ($op instanceof ParenExpr) {
+            return this.compositeExprWidth($op.subExpr);
+        }
+        else
+            return $op.bitWidth;
+    }
+    static transformBinaryOp($expr, $type) {
+        $expr.left.replaceWith(ClavaJoinPoints.cStyleCast($type, $expr.left));
+    }
+    static transformTernaryOp($expr, $type, $bitWidth) {
+        const trueExpr = this.isCompositeExpr($expr.trueExpr);
+        const falseExpr = this.isCompositeExpr($expr.falseExpr);
+        if (trueExpr && this.compositeExprWidth(trueExpr) < $bitWidth) {
+            if (trueExpr instanceof TernaryOp)
+                this.transformTernaryOp(trueExpr, $type, $bitWidth);
+            else if (trueExpr instanceof BinaryOp)
+                this.transformBinaryOp(trueExpr, $type);
+        }
+        if (falseExpr && this.compositeExprWidth(falseExpr) < $type.bitWidth) {
+            if (falseExpr instanceof TernaryOp)
+                this.transformTernaryOp(falseExpr, $type, $bitWidth);
+            else if (falseExpr instanceof BinaryOp)
+                this.transformBinaryOp(falseExpr, $type);
+        }
+    }
+    r10_6_noWiderCompositeExprAssignments($startNode) {
+        if (!($startNode instanceof Expression))
+            return;
+        const compositeExpr = S10_EssentialTypePass.isCompositeExpr($startNode);
+        if (compositeExpr) {
+            const parent = $startNode.parent;
+            if (parent instanceof BinaryOp && parent.kind === "assign") {
+                if (S10_EssentialTypePass.compositeExprWidth(compositeExpr) < parent.left.bitWidth) {
+                    this.logMISRAError("A composite expression must not be assigned to a value with wider type.", new Fix(compositeExpr, op => {
+                        if (op instanceof BinaryOp) {
+                            S10_EssentialTypePass.transformBinaryOp(op, op.parent.type);
+                        }
+                        else if (op instanceof TernaryOp) {
+                            op.replaceWith(ClavaJoinPoints.cStyleCast(op.parent.type, op));
+                        }
+                    }));
+                }
+            }
+        }
+    }
+    r10_8_noWiderCompositeCasts($startNode) {
+        if (!($startNode instanceof Cast))
+            return;
+        const compositeExpr = S10_EssentialTypePass.isCompositeExpr($startNode.subExpr);
+        if (compositeExpr) {
+            if (S10_EssentialTypePass.getEssentialType($startNode.fromType).category !== S10_EssentialTypePass.getEssentialType($startNode.toType).category) {
+                this.logMISRAError(`Composite expression ${$startNode.subExpr.code} cannot be cast to ${$startNode.toType.code}, since it has a different essential type category.`);
+            }
+            else if ($startNode.bitWidth > S10_EssentialTypePass.compositeExprWidth(compositeExpr)) {
+                this.logMISRAError(`Composite expression ${$startNode.subExpr.code} cannot be cast to ${$startNode.toType.code} since it is a wider type.`, new Fix($startNode, cast => {
+                    const castJp = cast;
+                    const compositeExpr = S10_EssentialTypePass.isCompositeExpr(castJp.subExpr);
+                    if (compositeExpr instanceof BinaryOp) {
+                        compositeExpr.left.replaceWith(ClavaJoinPoints.cStyleCast(cast.type, compositeExpr.left));
+                        cast.replaceWith(compositeExpr);
+                    }
+                    else if (compositeExpr instanceof TernaryOp) {
+                        S10_EssentialTypePass.transformTernaryOp(compositeExpr, cast.type, cast.bitWidth);
+                    }
+                }));
+            }
+        }
+    }
+    _name = "Essential type model";
+}
+//# sourceMappingURL=S10_EssentialTypePass.js.map

package/dist/misra/passes/S10_EssentialTypePass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S10_EssentialTypePass.js","sourceRoot":"","sources":["../../../src/misra/passes/S10_EssentialTypePass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAc,UAAU,EAAa,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAQ,OAAO,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AACrN,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAC7E,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,MAAM,CAAN,IAAY,cAQX;AARD,WAAY,cAAc;IACtB,uCAAqB,CAAA;IACrB,+BAAa,CAAA;IACb,mCAAiB,CAAA;IACjB,+BAAa,CAAA;IACb,iCAAe,CAAA;IACf,+BAAa,CAAA;IACb,mCAAiB,CAAA;AACrB,CAAC,EARW,cAAc,KAAd,cAAc,QAQzB;AAAA,CAAC;AAOF,MAAM,CAAC,OAAO,OAAO,qBAAsB,SAAQ,SAAS;IAC9C,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC,CAAC,EAAE,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CAAC,EAAE,IAAI,CAAC,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,CAAC,CAAC,EAAE,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACnD,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,OAAO,IAAI,GAAG,YAAY,UAAU,CAAC;IAC5F,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,KAAW;QAC/B,IAAI,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC;QAC5B,OAAO,IAAI,YAAY,QAAQ,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC;QAC3C,CAAC;QAED,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBAC9B,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,EAAC,CAAC;YAC3C,CAAC;iBACI,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBACrC,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,EAAC,CAAC;YAC3C,CAAC;iBACI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBAChD,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAC,CAAC;YAC7C,CAAC;iBACI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACjD,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAC,CAAC;YAC/C,CAAC;iBACI,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACpB,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAC,CAAC;YAC5C,CAAC;QACL,CAAC;aACI,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAC,CAAC,CAAC,CAAC,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAC,CAAC;QACvH,CAAC;QAED,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAC,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,SAAS,CAAC,GAAmB;QAChC,OAAO,GAAG,KAAK,cAAc,CAAC,MAAM,IAAI,GAAG,KAAK,cAAc,CAAC,QAAQ,CAAC;IAC5E,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,KAAiB;QACzC,IAAI,KAAK,YAAY,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;uBACpI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBACrJ,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,EAAC,CAAC;gBAC3C,CAAC;YACL,CAAC;iBACI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;oBACzE,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;wBAC1E,OAAO,EAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,EAAC,CAAC;oBAC3C,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAEO,eAAe,CAAC,KAAiB,EAAE,eAA+B,EAAE,SAAqB,EAAE,OAAqB;QACpH,MAAM,EAAE,GAAG,qBAAqB,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAI,EAAE,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;gBACzC,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,EAAE,GAAiB,CAAC,CAAC,CAAC;YAC5E,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACf,IAAI,CAAC,aAAa,CAAC,WAAW,KAAK,CAAC,IAAI,kBAAkB,SAAS,CAAC,IAAI,8BAA8B,EAAE,CAAC,QAAQ,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpI,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,KAAiB,EAAE,gBAAkC,EAAE,SAAqB,EAAE,OAAqB;QAC3H,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;IACL,CAAC;IAEO,kCAAkC,CAAC,UAAqB;QAC5D,IAAI,UAAU,YAAY,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC;QAC5K,CAAC;aACI,IAAI,UAAU,YAAY,QAAQ,EAAE,CAAC;YACtC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,KAAK,CAAC;gBACX,KAAK,KAAK;oBACN,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,YAAY,UAAU,CAAC;wBAAE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAC7H,KAAK,KAAK,CAAC;gBACX,KAAK,IAAI,CAAC;gBACV,KAAK,MAAM;oBACP,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;oBACzE,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK;wBAAE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAC1I,KAAK,KAAK;oBACN,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;oBACxE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBAC7E,KAAK,KAAK,CAAC;gBACX,KAAK,KAAK;oBACN,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACvE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC5E,KAAK,KAAK,CAAC;gBACX,KAAK,KAAK;oBACN,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACvE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC5E,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI,CAAC;gBACV,KAAK,IAAI;oBACL,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACvE,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACxE,MAAM;gBACV,KAAK,OAAO,CAAC;gBACb,KAAK,MAAM;oBACP,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;oBACxK,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;oBACzK,MAAM;YACd,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,OAAO,EAAE,CAAC;YACrC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,OAAO;oBACR,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAClF,KAAK,MAAM;oBACP,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;oBAC1H,MAAM;gBACV,KAAK,OAAO;oBACR,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;oBAC3K,MAAM;gBACV,KAAK,KAAK;oBACN,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,CAAC;oBACvK,MAAM;YACd,CAAC;QACL,CAAC;IACL,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAE9C,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;gBAChM,IAAI,CAAC,aAAa,CAAC,6BAA6B,UAAU,CAAC,IAAI,mCAAmC,CAAC,CAAC;gBACpG,OAAO;YACX,CAAC;YAED,IAAI,SAAS,CAAC;YACd,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;gBAC/F,SAAS,GAAG,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC7E,CAAC;iBACI,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;gBACrG,SAAS,GAAG,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5E,CAAC;YAED,IAAI,SAAS,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpE,IAAI,CAAC,aAAa,CAAC,2BAA2B,UAAU,CAAC,IAAI,yGAAyG,CAAC,CAAC;gBACxK,OAAO;YACX,CAAC;QACL,CAAC;aACI,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACjC,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;gBAC/F,MAAM,SAAS,GAAG,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBAC/E,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;oBAC/G,IAAI,CAAC,aAAa,CAAC,+BAA+B,UAAU,CAAC,IAAI,4FAA4F,CAAC,CAAC;oBAC/J,OAAO;gBACX,CAAC;YACL,CAAC;iBACI,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;gBACrG,IAAI,CAAC,aAAa,CAAC,gCAAgC,UAAU,CAAC,IAAI,+DAA+D,CAAC,CAAC;gBACnI,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,GAAkB,EAAE,GAAkB,EAAE,IAAgB;QAChF,IAAI,GAAG,CAAC,QAAQ,KAAK,cAAc,CAAC,QAAQ,IAAI,IAAI,YAAY,UAAU,EAAE,CAAC;YACzE,OAAO,IAAI,CAAC;QAChB,CAAC;aACI,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACjB,CAAC;aACI,IAAI,GAAG,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7E,OAAO,KAAK,CAAC;QACjB,CAAC;;YACI,OAAO,IAAI,CAAC;IACrB,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,IAAI,UAAU,YAAY,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjE,IAAI,CAAC,qBAAqB,CAAC,YAAY,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnL,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,KAAK,CAAC,IAAI,0BAA0B,UAAU,CAAC,IAAI,CAAC,IAAI,qDAAqD,CAAC,CAAC;YAC1J,CAAC;iBACI,IAAI,UAAU,CAAC,IAAI,CAAC,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC5D,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,KAAK,CAAC,IAAI,0BAA0B,UAAU,CAAC,IAAI,CAAC,IAAI,gCAAgC,CAAC,CAAC;YACrI,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,OAAO,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YAC3D,IAAI,CAAC,qBAAqB,CAAC,YAAY,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7K,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,6BAA6B,UAAU,CAAC,IAAI,qDAAqD,CAAC,CAAC;YACvJ,CAAC;iBACI,IAAI,UAAU,CAAC,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtD,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,IAAI,6BAA6B,UAAU,CAAC,IAAI,gCAAgC,CAAC,CAAC;YAClI,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,UAAU,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;YACjE,MAAM,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAe,CAAC;YAC7D,IAAI,CAAC,qBAAqB,CAAC,YAAY,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACxL,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,UAAU,CAAC,IAAI,0BAA0B,GAAG,CAAC,SAAS,qDAAqD,CAAC,CAAC;YACxJ,CAAC;iBACI,IAAI,GAAG,CAAC,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACrD,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,UAAU,CAAC,IAAI,0BAA0B,GAAG,CAAC,SAAS,gCAAgC,CAAC,CAAC;YACnI,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,IAAI,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC;YACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,IAAI,CAAC,qBAAqB,CAAC,YAAY,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,qBAAqB,CAAC,gBAAgB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5L,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,oCAAoC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,qDAAqD,CAAC,CAAC;gBACtK,CAAC;qBACI,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9D,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,oCAAoC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,iCAAiC,CAAC,CAAC;gBAClJ,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,OAAmB;QAC9C,IAAI,qBAAqB,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;YACvF,OAAO,IAAI,CAAC;QAChB,CAAC;aACI,IAAI,OAAO,YAAY,UAAU,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACrG,OAAO,IAAI,CAAC;QAChB,CAAC;;YACI,OAAO,KAAK,CAAC;IACtB,CAAC;IAEO,oBAAoB,CAAC,UAAqB;QAC9C,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,CAAC;YAAE,OAAO;QAE1C,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;QACnC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;QAE5C,MAAM,eAAe,GAAG,qBAAqB,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAE9E,IAAI,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACjH,IAAI,CAAC,aAAa,CAAC,+GAA+G,CAAC,CAAC;QACxI,CAAC;aACI,IAAI,CAAC,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,iBAAiB,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,eAAe,CAAC,QAAQ,KAAK,iBAAiB,CAAC,QAAQ,CAAC;eACrK,CAAC,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,IAAI,iBAAiB,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9G,IAAI,CAAC,aAAa,CAAC,wFAAwF,CAAC,CAAC;QACjH,CAAC;aACI,IAAI,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;YAChH,IAAI,CAAC,aAAa,CAAC,8EAA8E,CAAC,CAAC;QACvG,CAAC;aACI,IAAI,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,QAAQ,IAAI,iBAAiB,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;YAClH,IAAI,CAAC,aAAa,CAAC,gFAAgF,CAAC,CAAC;QACzG,CAAC;aACI,IAAI,eAAe,CAAC,QAAQ,KAAK,cAAc,CAAC,KAAK,IAAI,iBAAiB,CAAC,QAAQ,KAAK,cAAc,CAAC,IAAI,EAAE,CAAC;YAC/G,IAAI,CAAC,aAAa,CAAC,gFAAgF,CAAC,CAAC;QACzG,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,qBAAqB,CAAC,GAAa;QAC9C,OAAO,gEAAgE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3F,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAiB;QAC5C,IAAI,KAAK,YAAY,SAAS,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/C,CAAC;aACI,IAAI,KAAK,YAAY,QAAQ,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;aACI,IAAI,KAAK,YAAY,SAAS,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChF,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;;YACI,OAAO,SAAS,CAAC;IAC1B,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,GAAe;QAC7C,IAAI,GAAG,YAAY,QAAQ,IAAI,qBAAqB,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9E,MAAM,KAAK,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;aACI,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;aACI,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,CAAC;;YACI,OAAO,GAAG,CAAC,QAAQ,CAAC;IAC7B,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,KAAe,EAAE,KAAW;QACzD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IAEO,MAAM,CAAC,kBAAkB,CAAC,KAAgB,EAAE,KAAW,EAAE,SAAiB;QAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,IAAI,QAAQ,IAAI,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,GAAG,SAAS,EAAE,CAAC;YAC5D,IAAI,QAAQ,YAAY,SAAS;gBAAE,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;iBAClF,IAAI,QAAQ,YAAY,QAAQ;gBAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnF,CAAC;QAED,IAAI,SAAS,IAAI,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnE,IAAI,SAAS,YAAY,SAAS;gBAAE,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;iBACpF,IAAI,SAAS,YAAY,QAAQ;gBAAE,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACrF,CAAC;IACL,CAAC;IAEO,qCAAqC,CAAC,UAAqB;QAC/D,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,CAAC;YAAE,OAAO;QAEhD,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACxE,IAAI,aAAa,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YACjC,IAAI,MAAM,YAAY,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzD,IAAI,qBAAqB,CAAC,kBAAkB,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACjF,IAAI,CAAC,aAAa,CAAC,yEAAyE,EAAE,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC,EAAE;wBACtH,IAAI,EAAE,YAAY,QAAQ,EAAE,CAAC;4BACzB,qBAAqB,CAAC,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBAChE,CAAC;6BACI,IAAI,EAAE,YAAY,SAAS,EAAE,CAAC;4BAC/B,EAAE,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;wBACnE,CAAC;oBACL,CAAC,CAAC,CAAC,CAAC;gBACR,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,2BAA2B,CAAC,UAAqB;QACrD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,CAAC;YAAE,OAAO;QAE1C,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAChF,IAAI,aAAa,EAAE,CAAC;YAChB,IAAI,qBAAqB,CAAC,gBAAgB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,QAAQ,KAAK,qBAAqB,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC9I,IAAI,CAAC,aAAa,CAAC,wBAAwB,UAAU,CAAC,OAAO,CAAC,IAAI,sBAAsB,UAAU,CAAC,MAAM,CAAC,IAAI,qDAAqD,CAAC,CAAC;YACzK,CAAC;iBACI,IAAI,UAAU,CAAC,QAAQ,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,aAAa,CAAC,EAAE,CAAC;gBACrF,IAAI,CAAC,aAAa,CAAC,wBAAwB,UAAU,CAAC,OAAO,CAAC,IAAI,sBAAsB,UAAU,CAAC,MAAM,CAAC,IAAI,4BAA4B,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;oBACnK,MAAM,MAAM,GAAG,IAAY,CAAC;oBAC5B,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAC5E,IAAI,aAAa,YAAY,QAAQ,EAAE,CAAC;wBACpC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;wBAC1F,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;oBACpC,CAAC;yBACI,IAAI,aAAa,YAAY,SAAS,EAAE,CAAC;wBAC1C,qBAAqB,CAAC,kBAAkB,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACtF,CAAC;gBACL,CAAC,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC;IACL,CAAC;IAES,KAAK,GAAW,sBAAsB,CAAC;CAEpD"}

package/dist/misra/passes/S12_ExpressionPass.d.ts

@@ -0,0 +1,18 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S12_ExpressionPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private static isAdditive;
+    private static isMultiplicative;
+    private static isShift;
+    private static isRelational;
+    private static isEquality;
+    private static isSamePrecedence;
+    private r12_1_explicitPrecedence;
+    private r12_3_noCommaOperator;
+    protected _name: string;
+}
+//# sourceMappingURL=S12_ExpressionPass.d.ts.map

package/dist/misra/passes/S12_ExpressionPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S12_ExpressionPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S12_ExpressionPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAKxD,MAAM,CAAC,OAAO,OAAO,kBAAmB,SAAQ,SAAS;IACrD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAMtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,MAAM,CAAC,UAAU;IAIzB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAI/B,OAAO,CAAC,MAAM,CAAC,OAAO;IAItB,OAAO,CAAC,MAAM,CAAC,YAAY;IAI3B,OAAO,CAAC,MAAM,CAAC,UAAU;IAIzB,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAY/B,OAAO,CAAC,wBAAwB;IAehC,OAAO,CAAC,qBAAqB;IAgB7B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAiB;CAE3C"}

package/dist/misra/passes/S12_ExpressionPass.js

@@ -0,0 +1,72 @@
+import MISRAPass from "../MISRAPass.js";
+import { BinaryOp, Loop, Op } from "@specs-feup/clava/api/Joinpoints.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+import ClavaJoinPoints from "@specs-feup/clava/api/clava/ClavaJoinPoints.js";
+export default class S12_ExpressionPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r12_1_explicitPrecedence.bind(this)],
+            [3, this.r12_3_noCommaOperator.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof BinaryOp && !$jp.isAssignment;
+    }
+    static isAdditive(op) {
+        return op === "add" || op === "sub";
+    }
+    static isMultiplicative(op) {
+        return op === "mul" || op === "div" || op === "rem";
+    }
+    static isShift(op) {
+        return op === "shl" || op === "shr";
+    }
+    static isRelational(op) {
+        return op === "lt" || op === "gt" || op === "le" || op === "ge";
+    }
+    static isEquality(op) {
+        return op === "eq" || op === "ne";
+    }
+    static isSamePrecedence(op1, op2) {
+        if (op1 === op2)
+            return true;
+        for (const fun of [this.isAdditive, this.isMultiplicative, this.isShift, this.isRelational, this.isEquality]) {
+            if (fun(op1) && fun(op2)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    r12_1_explicitPrecedence($startNode) {
+        if (!($startNode instanceof BinaryOp))
+            return;
+        if (($startNode.kind === "ptr_mem_d" || $startNode.kind === "ptr_mem_i")
+            || (!$startNode.getAncestor("binaryOp") && !$startNode.getAncestor("ternaryOp"))
+            || ($startNode.parent instanceof BinaryOp && $startNode.parent.isAssignment)
+            || ($startNode.parent instanceof Op && S12_ExpressionPass.isSamePrecedence($startNode.kind, $startNode.parent.kind))
+            || ($startNode.parent.instanceOf("parenExpr")))
+            return;
+        this.logMISRAError(`Operator precedence in expression ${$startNode.code} is not explicit.`, new Fix($startNode, ($jp) => {
+            const parenExpr = ClavaJoinPoints.parenthesis($jp);
+            $jp.replaceWith(parenExpr);
+        }));
+    }
+    r12_3_noCommaOperator($startNode) {
+        if (!($startNode instanceof BinaryOp && $startNode.operator === ","))
+            return;
+        const loopAncestor = $startNode.getAncestor("loop");
+        if (loopAncestor instanceof Loop && (loopAncestor?.step?.contains($startNode) || loopAncestor?.cond?.contains($startNode) || loopAncestor?.init?.contains($startNode))) {
+            console.log(`Cannot eliminate comma operator in expression ${$startNode.code} since it is at the head of a loop.`);
+            this.logMISRAError("Use of the comma operator is not allowed.");
+        }
+        else {
+            this.logMISRAError("Use of the comma operator is not allowed.", new Fix($startNode, ($jp) => {
+                $jp.insertBefore($jp.left.stmt);
+                $jp.replaceWith($jp.right);
+            }));
+        }
+    }
+    _name = "Expressions";
+}
+//# sourceMappingURL=S12_ExpressionPass.js.map

package/dist/misra/passes/S12_ExpressionPass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"S12_ExpressionPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S12_ExpressionPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAyB,IAAI,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAChG,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAC9D,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,MAAM,CAAC,OAAO,OAAO,kBAAmB,SAAQ,SAAS;IAC3C,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC7C,CAAC,CAAC;IACP,CAAC;IACD,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,QAAQ,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC;IACxD,CAAC;IAEO,MAAM,CAAC,UAAU,CAAC,EAAU;QAChC,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxC,CAAC;IAEO,MAAM,CAAC,gBAAgB,CAAC,EAAU;QACtC,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxD,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,EAAU;QAC7B,OAAO,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC;IACxC,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,EAAU;QAClC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IACpE,CAAC;IAEO,MAAM,CAAC,UAAU,CAAC,EAAU;QAChC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC;IACtC,CAAC;IAEO,MAAM,CAAC,gBAAgB,CAAC,GAAW,EAAE,GAAW;QACpD,IAAI,GAAG,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAE7B,KAAK,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3G,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,wBAAwB,CAAC,UAAqB;QAClD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAE9C,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,WAAW,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,CAAC;eACjE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;eAC7E,CAAC,UAAU,CAAC,MAAM,YAAY,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC;eACzE,CAAC,UAAU,CAAC,MAAM,YAAY,EAAE,IAAI,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;eACjH,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;YAAE,OAAO;QAE3D,IAAI,CAAC,aAAa,CAAC,qCAAqC,UAAU,CAAC,IAAI,mBAAmB,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,GAAc,EAAE,EAAE;YAC/H,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,CAAC,GAAiB,CAAC,CAAC;YACjE,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAC;IACR,CAAC;IAEO,qBAAqB,CAAC,UAAqB;QAC/C,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,IAAI,UAAU,CAAC,QAAQ,KAAK,GAAG,CAAC;YAAE,OAAO;QAE7E,MAAM,YAAY,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,YAAY,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACrK,OAAO,CAAC,GAAG,CAAC,iDAAiD,UAAU,CAAC,IAAI,qCAAqC,CAAC,CAAC;YACnH,IAAI,CAAC,aAAa,CAAC,2CAA2C,CAAC,CAAC;QACpE,CAAC;aACI,CAAC;YACF,IAAI,CAAC,aAAa,CAAC,2CAA2C,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,GAAc,EAAE,EAAE;gBACnG,GAAG,CAAC,YAAY,CAAE,GAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9C,GAAG,CAAC,WAAW,CAAE,GAAgB,CAAC,KAAK,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAES,KAAK,GAAW,aAAa,CAAC;CAE3C"}

package/dist/misra/passes/S13_SideEffectPass.d.ts

@@ -0,0 +1,18 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S13_SideEffectPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private checkPotentialPersistentSideEffects;
+    private r13_1_initListSideEffects;
+    private static visitAllExprs;
+    private checkIncrementSideEffects;
+    private r13_3_noIncrementSideEffects;
+    private r13_4_noUseOfAssignmentValue;
+    private r13_5_shortCircuitSideEffects;
+    private r13_6_sizeofSideEffects;
+    protected _name: string;
+}
+//# sourceMappingURL=S13_SideEffectPass.d.ts.map

package/dist/misra/passes/S13_SideEffectPass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"S13_SideEffectPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S13_SideEffectPass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,SAAS,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAMxD,MAAM,CAAC,OAAO,OAAO,kBAAmB,SAAQ,SAAS;IACrD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAUtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,mCAAmC;IAkB3C,OAAO,CAAC,yBAAyB;IAMjC,OAAO,CAAC,MAAM,CAAC,aAAa;IAa5B,OAAO,CAAC,yBAAyB;IA2BjC,OAAO,CAAC,4BAA4B;IAQpC,OAAO,CAAC,4BAA4B;IAQpC,OAAO,CAAC,6BAA6B;IAMrC,OAAO,CAAC,uBAAuB;IAO/B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAkB;CAE5C"}