@specs-feup/clava-misra 1.0.0 → 1.0.1

package/dist/misra/passes/S13_SideEffectPass.js

@@ -0,0 +1,105 @@
+import MISRAPass from "../MISRAPass.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+import { BinaryOp, Call, ExprStmt, InitList, QualType, UnaryExprOrType, UnaryOp, Vardecl, Varref } from "@specs-feup/clava/api/Joinpoints.js";
+import TraversalType from "@specs-feup/lara/api/weaver/TraversalType.js";
+import Fix from "@specs-feup/clava/api/clava/analysis/Fix.js";
+export default class S13_SideEffectPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r13_1_initListSideEffects.bind(this)],
+            [3, this.r13_3_noIncrementSideEffects.bind(this)],
+            [4, this.r13_4_noUseOfAssignmentValue.bind(this)],
+            [5, this.r13_5_shortCircuitSideEffects.bind(this)],
+            [6, this.r13_6_sizeofSideEffects.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof InitList || $jp instanceof ExprStmt || $jp instanceof BinaryOp || $jp instanceof UnaryExprOrType;
+    }
+    checkPotentialPersistentSideEffects($startNode, name, childFun) {
+        Query.searchFromInclusive(childFun($startNode), Varref).get().forEach(ref => {
+            if (ref.type instanceof QualType && ref.type.qualifiers?.includes("volatile")) {
+                this.logMISRAError(`${name} ${$startNode.code} contains persistent side effects: an access to volatile object ${ref.name}.`);
+            }
+        }, this);
+        Query.searchFromInclusive(childFun($startNode), Call).get().forEach(call => {
+            this.logMISRAError(`${name} ${$startNode.code} may contain persistent side effects in call to ${call.name}.`);
+        }, this);
+        Query.searchFromInclusive(childFun($startNode), UnaryOp, { kind: /(post_inc)|(post_dec)|(pre_inc)|(pre_dec)/ }).get().forEach(op => {
+            Query.searchFrom(op, Varref).get().forEach(ref => {
+                if (ref.declaration instanceof Vardecl && ref.declaration.isGlobal) {
+                    this.logMISRAError(`${name} ${$startNode.code} may contain persistent side effects in expression ${op.code}.`);
+                }
+            });
+        }, this);
+    }
+    r13_1_initListSideEffects($startNode) {
+        if (!($startNode instanceof InitList))
+            return;
+        this.checkPotentialPersistentSideEffects($startNode, "Initializer list", jp => jp);
+    }
+    static visitAllExprs(fun, root) {
+        let curr = root;
+        while (curr) {
+            const temp = curr;
+            //console.log(temp.joinPointType);
+            curr = curr.rightJp;
+            if (temp.instanceOf("expression")) {
+                fun(temp);
+            }
+            else
+                S13_SideEffectPass.visitAllExprs(fun, temp.children[0]);
+        }
+    }
+    checkIncrementSideEffects(exprRoot) {
+        const jps = Query.searchFrom(exprRoot, UnaryOp, { kind: /(post_inc)|(post_dec)|(pre_inc)|(pre_dec)/ }, TraversalType.POSTORDER).get();
+        //THE ABOVE LINE ONLY WORKS BECAUSE SEARCH FROM IS RETURNING THE ROOT, SEARCH FROM INCLUSIVE RETURNS IT TWICE
+        const calls = Query.searchFromInclusive(exprRoot, Call).get();
+        const assignments = Query.searchFromInclusive(exprRoot, BinaryOp, { isAssignment: true }).get();
+        if (jps.length == 0 || jps.length + calls.length + assignments.length < 2)
+            return;
+        this.logMISRAError(`Expression ${exprRoot.code} contains a pre/post inc/decrement operator and other side effects.`, new Fix(exprRoot, ($jp) => {
+            const jps = Query.searchFrom($jp, UnaryOp, { kind: /(post_inc)|(post_dec)|(pre_inc)|(pre_dec)/ }, TraversalType.POSTORDER).get();
+            const calls = Query.searchFromInclusive($jp, Call).get();
+            const assignments = Query.searchFromInclusive($jp, BinaryOp, { isAssignment: true }).get();
+            const transformationNo = (calls.length === 0 && assignments.length === 0) ? jps.length - 1 : jps.length;
+            for (let i = 0; i < transformationNo; i++) {
+                const jp = jps[i];
+                if (/post_.*/.test(jp.kind)) {
+                    $jp.insertAfter(jp.deepCopy());
+                }
+                else {
+                    $jp.insertBefore(jp.deepCopy());
+                }
+                jp.replaceWith(jp.operand);
+            }
+        }));
+    }
+    r13_3_noIncrementSideEffects($startNode) {
+        if (!($startNode instanceof ExprStmt))
+            return;
+        this.checkIncrementSideEffects($startNode.expr);
+        //S13_SideEffectPass.visitAllExprs(this.checkIncrementSideEffects.bind(this), $startNode.expr);
+    }
+    r13_4_noUseOfAssignmentValue($startNode) {
+        if (!($startNode instanceof BinaryOp && $startNode.isAssignment))
+            return;
+        if (!$startNode.parent.instanceOf("exprStmt") && !($startNode.parent.instanceOf("parenExpr") && $startNode.parent?.parent?.instanceOf("exprStmt"))) {
+            this.logMISRAError(`Value of assignment expression ${$startNode.code} should not be used.`);
+        }
+    }
+    r13_5_shortCircuitSideEffects($startNode) {
+        if (!($startNode instanceof BinaryOp && /(\&\&|\|\|)/.test($startNode.operator)))
+            return;
+        this.checkPotentialPersistentSideEffects($startNode, "RHS of && or || expression", jp => jp.right);
+    }
+    r13_6_sizeofSideEffects($startNode) {
+        if (!($startNode instanceof UnaryExprOrType && $startNode.hasArgExpr))
+            return;
+        //TODO: exception for volatile qualified lvalue that is not a variable length array
+        this.checkPotentialPersistentSideEffects($startNode.argExpr, "Sizeof operand", jp => jp);
+    }
+    _name = "Side effects";
+}
+//# sourceMappingURL=S13_SideEffectPass.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S13_SideEffectPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S13_SideEffectPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,KAAK,MAAM,sCAAsC,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAa,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACzJ,OAAO,aAAa,MAAM,8CAA8C,CAAC;AACzE,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAE9D,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,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,EAAE,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC/C,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,eAAe,CAAC;IAC3H,CAAC;IAEO,mCAAmC,CAAsB,UAAa,EAAE,IAAY,EAAE,QAA+B;QACzH,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACxE,IAAI,GAAG,CAAC,IAAI,YAAY,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5E,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,mEAAmE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAA;YAChI,CAAC;QACL,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACvE,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,mDAAmD,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAClH,CAAC,EAAE,IAAI,CAAC,CAAC;QACT,KAAK,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,2CAA2C,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;YAC7H,KAAK,CAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;gBAC7C,IAAI,GAAG,CAAC,WAAW,YAAY,OAAO,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBACjE,IAAI,CAAC,aAAa,CAAC,GAAG,IAAI,IAAI,UAAU,CAAC,IAAI,sDAAsD,EAAE,CAAC,IAAI,GAAG,CAAC,CAAA;gBAClH,CAAC;YACL,CAAC,CAAC,CAAC;QACP,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAE9C,IAAI,CAAC,mCAAmC,CAAY,UAAU,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,GAA6B,EAAE,IAAe;QACvE,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,OAAO,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC;YAClB,kCAAkC;YAClC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC;YACpB,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,CAAC;YACd,CAAC;;gBACI,kBAAkB,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;IACL,CAAC;IAEO,yBAAyB,CAAC,QAAmB;QACjD,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,2CAA2C,EAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC;QACpI,6GAA6G;QAC7G,MAAM,KAAK,GAAG,KAAK,CAAC,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9D,MAAM,WAAW,GAAG,KAAK,CAAC,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,EAAC,YAAY,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC9F,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;QAElF,IAAI,CAAC,aAAa,CAAC,cAAc,QAAQ,CAAC,IAAI,qEAAqE,EAAE,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAc,EAAE,EAAE;YACtJ,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,EAAC,IAAI,EAAE,2CAA2C,EAAC,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC;YAC/H,MAAM,KAAK,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACzD,MAAM,WAAW,GAAG,KAAK,CAAC,mBAAmB,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAC,YAAY,EAAE,IAAI,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YAEzF,MAAM,gBAAgB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YAExG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1B,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACnC,CAAC;qBACI,CAAC;oBACF,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACpC,CAAC;gBACD,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YAC/B,CAAC;QACL,CAAC,CAAC,CAAC,CAAC;IACR,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAE9C,IAAI,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAEhD,+FAA+F;IACnG,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,IAAI,UAAU,CAAC,YAAY,CAAC;YAAE,OAAO;QAEzE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACjJ,IAAI,CAAC,aAAa,CAAC,kCAAkC,UAAU,CAAC,IAAI,sBAAsB,CAAC,CAAC;QAChG,CAAC;IACL,CAAC;IAEO,6BAA6B,CAAC,UAAqB;QACvD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAAE,OAAO;QAEzF,IAAI,CAAC,mCAAmC,CAAW,UAAU,EAAE,4BAA4B,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IACjH,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,IAAI,CAAC,CAAC,UAAU,YAAY,eAAe,IAAI,UAAU,CAAC,UAAU,CAAC;YAAE,OAAO;QAE9E,mFAAmF;QACnF,IAAI,CAAC,mCAAmC,CAAY,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC;IAES,KAAK,GAAW,cAAc,CAAC;CAE5C"}

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

@@ -0,0 +1,19 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S15_ControlFlowPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    private _labelMap;
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r15_1_noGoto;
+    private static isBeforeInCode;
+    private r15_2_noBackJumps;
+    private computeLabelMap;
+    private r15_3_gotoBlockEnclosed;
+    private static countBreakExits;
+    private static countGotoExits;
+    private r15_4_loopSingleBreak;
+    protected _name: string;
+}
+//# sourceMappingURL=S15_ControlFlowPass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S15_ControlFlowPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S15_ControlFlowPass.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;AAIxD,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,SAAS;IACtD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IACvD,OAAO,CAAC,SAAS,CAAqC;IAEtD,cAAc,IAAI,IAAI;IAStB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,YAAY;IAKpB,OAAO,CAAC,MAAM,CAAC,cAAc;IAK7B,OAAO,CAAC,iBAAiB;IAOzB,OAAO,CAAC,eAAe;IAKvB,OAAO,CAAC,uBAAuB;IAwB/B,OAAO,CAAC,MAAM,CAAC,eAAe;IAa9B,OAAO,CAAC,MAAM,CAAC,cAAc;IAW7B,OAAO,CAAC,qBAAqB;IAY7B,SAAS,CAAC,KAAK,EAAE,MAAM,CAAkB;CAE5C"}

package/dist/misra/passes/S15_ControlFlowPass.js

@@ -0,0 +1,94 @@
+import MISRAPass from "../MISRAPass.js";
+import { Break, GotoStmt, LabelStmt, Loop } from "@specs-feup/clava/api/Joinpoints.js";
+import Query from "@specs-feup/lara/api/weaver/Query.js";
+export default class S15_ControlFlowPass extends MISRAPass {
+    _preprocessingReqs = [];
+    _labelMap;
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r15_1_noGoto.bind(this)],
+            [2, this.r15_2_noBackJumps.bind(this)],
+            [3, this.r15_3_gotoBlockEnclosed.bind(this)],
+            [4, this.r15_4_loopSingleBreak.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof GotoStmt || $jp instanceof Loop;
+    }
+    r15_1_noGoto($startNode) {
+        if (!($startNode instanceof GotoStmt))
+            return;
+        this.logMISRAError("Goto statements should not be used");
+    }
+    static isBeforeInCode(line1, col1, line2, col2) {
+        if (line1 < line2)
+            return true;
+        else
+            return col1 < col2;
+    }
+    r15_2_noBackJumps($startNode) {
+        if (!($startNode instanceof GotoStmt))
+            return;
+        if (!S15_ControlFlowPass.isBeforeInCode($startNode.line, $startNode.column, $startNode.label.line, $startNode.label.column)) {
+            this.logMISRAError("Goto statements must not jump backwards in the code.");
+        }
+    }
+    computeLabelMap() {
+        this._labelMap = new Map();
+        Query.search(LabelStmt).get().forEach(stmt => this._labelMap?.set(stmt.decl.astId, stmt), this);
+    }
+    r15_3_gotoBlockEnclosed($startNode) {
+        if (!($startNode instanceof GotoStmt))
+            return;
+        if (!this._labelMap)
+            this.computeLabelMap();
+        let curr = $startNode.getAncestor("scope");
+        const ancestor = $startNode.getAncestor("function");
+        let error = true;
+        let temp;
+        do {
+            temp = curr;
+            if (curr.children.map(n => n.astId).includes(this._labelMap?.get($startNode.label.astId)?.astId)) {
+                error = false;
+                break;
+            }
+            curr = curr.getAncestor("scope");
+        } while (temp.parent.astId !== ancestor.astId);
+        if (error) {
+            this.logMISRAError("The label of a goto statement must be declared in a block or switch clause enclosing the goto.");
+        }
+    }
+    static countBreakExits($startNode) {
+        let count = 0;
+        for (const goto of Query.searchFrom($startNode, Break)) {
+            const ancestor = goto.getAncestor("loop");
+            const switchAncestor = goto.getAncestor("switch");
+            if (ancestor.astId === $startNode.astId && !(switchAncestor && $startNode.contains(switchAncestor))) {
+                count++;
+            }
+        }
+        return count;
+    }
+    static countGotoExits($startNode, labels) {
+        let count = 0;
+        for (const goto of Query.searchFrom($startNode, GotoStmt)) {
+            if (!($startNode.contains(labels.get(goto.label.astId)))) {
+                count++;
+            }
+        }
+        return count;
+    }
+    r15_4_loopSingleBreak($startNode) {
+        if (!($startNode instanceof Loop))
+            return;
+        if (!this._labelMap)
+            this.computeLabelMap();
+        const breakExits = S15_ControlFlowPass.countBreakExits($startNode);
+        const gotoExits = S15_ControlFlowPass.countGotoExits($startNode, this._labelMap);
+        if (breakExits + gotoExits > 1) {
+            this.logMISRAError("Loops must only have one exit");
+        }
+    }
+    _name = "Control Flow";
+}
+//# sourceMappingURL=S15_ControlFlowPass.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S15_ControlFlowPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S15_ControlFlowPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAa,SAAS,EAAE,IAAI,EAAE,MAAM,qCAAqC,CAAC;AAClG,OAAO,KAAK,MAAM,sCAAsC,CAAC;AAEzD,MAAM,CAAC,OAAO,OAAO,mBAAoB,SAAQ,SAAS;IAC5C,kBAAkB,GAAwB,EAAE,CAAC;IAC/C,SAAS,CAAqC;IAEtD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC,CAAC,EAAE,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC7C,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,IAAI,CAAC;IAC1D,CAAC;IAEO,YAAY,CAAC,UAAqB;QACtC,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAC9C,IAAI,CAAC,aAAa,CAAC,oCAAoC,CAAC,CAAC;IAC7D,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,KAAa,EAAE,IAAY,EAAE,KAAa,EAAE,IAAY;QAClF,IAAI,KAAK,GAAG,KAAK;YAAE,OAAO,IAAI,CAAC;;YAC1B,OAAO,IAAI,GAAG,IAAI,CAAC;IAC5B,CAAC;IAEO,iBAAiB,CAAC,UAAqB;QAC3C,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAC9C,IAAI,CAAC,mBAAmB,CAAC,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1H,IAAI,CAAC,aAAa,CAAC,sDAAsD,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IAEO,eAAe;QACnB,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC;QAC3B,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACpG,CAAC;IAEO,uBAAuB,CAAC,UAAqB;QACjD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,CAAC;YAAE,OAAO;QAC9C,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,eAAe,EAAE,CAAC;QAG5C,IAAI,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACpD,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,CAAC;QAET,GAAG,CAAC;YACA,IAAI,GAAG,IAAI,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAe,CAAC,EAAE,CAAC;gBACzG,KAAK,GAAG,KAAK,CAAC;gBACd,MAAM;YACV,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE;QAE/C,IAAI,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,aAAa,CAAC,gGAAgG,CAAC,CAAC;QACzH,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,UAAqB;QAChD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;YACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;YAClD,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,IAAI,CAAC,CAAC,cAAc,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;gBAClG,KAAK,EAAE,CAAC;YACZ,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,UAAqB,EAAE,MAA8B;QAC/E,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAc,CAAC,CAAC,EAAE,CAAC;gBACpE,KAAK,EAAE,CAAC;YACZ,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,qBAAqB,CAAC,UAAqB;QAC/C,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,CAAC;YAAE,OAAO;QAC1C,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,eAAe,EAAE,CAAC;QAE5C,MAAM,UAAU,GAAG,mBAAmB,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,mBAAmB,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,SAAmC,CAAC,CAAC;QAE3G,IAAI,UAAU,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,aAAa,CAAC,+BAA+B,CAAC,CAAC;QACxD,CAAC;IACL,CAAC;IAES,KAAK,GAAW,cAAc,CAAC;CAE5C"}

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

@@ -0,0 +1,17 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S16_SwitchStatementPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    private _wellFormedSwitch;
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r16_1_16_3_wellFormedSwitch;
+    private r16_2_topLevelSwitchLabels;
+    private r16_4_switchHasDefault;
+    private r16_5_defaultFirstOrLast;
+    private r16_6_noTwoClauses;
+    private r16_7_noEssentialBooleanInSwitch;
+    protected _name: string;
+}
+//# sourceMappingURL=S16_SwitchStatementPass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S16_SwitchStatementPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S16_SwitchStatementPass.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,uBAAwB,SAAQ,SAAS;IAC1D,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IACvD,OAAO,CAAC,iBAAiB,CAAkB;IAE3C,cAAc,IAAI,IAAI;IAWtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,2BAA2B;IA4BnC,OAAO,CAAC,0BAA0B;IAQlC,OAAO,CAAC,sBAAsB;IAO9B,OAAO,CAAC,wBAAwB;IAchC,OAAO,CAAC,kBAAkB;IAwE1B,OAAO,CAAC,gCAAgC;IAUxC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAuB;CAEjD"}

package/dist/misra/passes/S16_SwitchStatementPass.js

@@ -0,0 +1,152 @@
+import MISRAPass from "../MISRAPass.js";
+import { Break, BuiltinType, Case, Switch } 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 S16_SwitchStatementPass extends MISRAPass {
+    _preprocessingReqs = [];
+    _wellFormedSwitch = false;
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r16_1_16_3_wellFormedSwitch.bind(this)],
+            [2, this.r16_2_topLevelSwitchLabels.bind(this)],
+            [4, this.r16_4_switchHasDefault.bind(this)],
+            [5, this.r16_5_defaultFirstOrLast.bind(this)],
+            [6, this.r16_6_noTwoClauses.bind(this)],
+            [7, this.r16_7_noEssentialBooleanInSwitch.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Switch || $jp instanceof Case;
+    }
+    r16_1_16_3_wellFormedSwitch($startNode) {
+        if (!($startNode instanceof Switch))
+            return;
+        this._wellFormedSwitch = true;
+        let foundStmt = false;
+        let first = true;
+        for (const child of $startNode.children[1].children) {
+            if (child instanceof Break) {
+                ;
+                foundStmt = false;
+            }
+            else if (child instanceof Case) {
+                first = false;
+            }
+            else {
+                foundStmt = true;
+            }
+            if (foundStmt && child instanceof Case) {
+                this.logMISRAError(`A break is missing before ${child.code}`);
+                this._wellFormedSwitch = false;
+            }
+        }
+        if (!($startNode.children[1].lastChild instanceof Break)) {
+            this.logMISRAError("A break is missing at the end of the switch statement.");
+            this._wellFormedSwitch = false;
+        }
+    }
+    r16_2_topLevelSwitchLabels($startNode) {
+        if (!($startNode instanceof Case))
+            return;
+        if (!($startNode.currentRegion instanceof Switch)) {
+            this.logMISRAError("A switch label can only be used if its enclosing compound statement is the switch statement itself.");
+        }
+    }
+    r16_4_switchHasDefault($startNode) {
+        if (!($startNode instanceof Switch && !$startNode.hasDefaultCase))
+            return;
+        this.logMISRAError("Switch statement is missing a default case.");
+    }
+    r16_5_defaultFirstOrLast($startNode) {
+        if (!($startNode instanceof Switch))
+            return;
+        for (let i = 0; i < $startNode.cases.length; i++) {
+            if ($startNode.cases[i].isDefault && (i == 0 || i == $startNode.cases.length - 1)) {
+                return;
+            }
+            else if ($startNode.cases[i].isDefault) {
+                this.logMISRAError("The default case of a switch statement must be the first or last label.");
+                return;
+            }
+        }
+    }
+    r16_6_noTwoClauses($startNode) {
+        if (!($startNode instanceof Switch))
+            return;
+        this.dependsOn(1, $startNode);
+        if (this._wellFormedSwitch === false)
+            return;
+        let clauses = 0;
+        for (const child of $startNode.children[1].children) {
+            if (child instanceof Break) {
+                clauses++;
+            }
+        }
+        if (clauses <= 2) {
+            this.logMISRAError("Switch statements should have more than two clauses.", new Fix($startNode, (switchStmt) => {
+                const switchJp = switchStmt;
+                let firstClauseExpr = undefined;
+                let secondClauseExpr = undefined;
+                let firstClause = [];
+                let secondClause = [];
+                let currClauseExpr = undefined;
+                let currClause = [];
+                let clauseHasDefault = false;
+                let filledFirstClause = false;
+                const newVar = ClavaJoinPoints.varDecl("switchToIf_" + switchJp.astId, switchJp.condition);
+                switchJp.insertBefore(newVar.stmt);
+                for (const child of switchStmt.children[1].children) {
+                    if (child instanceof Case) {
+                        let tempOp;
+                        if (child.isDefault) {
+                            clauseHasDefault = true;
+                            continue;
+                        }
+                        else if (child.values.length === 1) {
+                            tempOp = ClavaJoinPoints.binaryOp("eq", newVar.varref(), child.values[0]);
+                        }
+                        else {
+                            tempOp = ClavaJoinPoints.binaryOp("l_or", ClavaJoinPoints.binaryOp("ge", newVar.varref(), child.values[0]), ClavaJoinPoints.binaryOp("le", newVar.varref(), child.values[1]));
+                        }
+                        currClauseExpr = currClauseExpr ? ClavaJoinPoints.binaryOp("l_or", currClauseExpr, tempOp) : tempOp;
+                    }
+                    else if (child instanceof Break) {
+                        if (clauseHasDefault) {
+                            secondClause = currClause;
+                            secondClauseExpr = undefined;
+                        }
+                        else if (filledFirstClause) {
+                            secondClause = currClause;
+                            secondClauseExpr = currClauseExpr;
+                        }
+                        else {
+                            firstClause = currClause;
+                            firstClauseExpr = currClauseExpr;
+                            filledFirstClause = true;
+                        }
+                        clauseHasDefault = false;
+                        currClause = [];
+                        currClauseExpr = undefined;
+                    }
+                    else {
+                        currClause.push(child);
+                    }
+                }
+                const elseStmt = secondClauseExpr ? ClavaJoinPoints.ifStmt(secondClauseExpr, ClavaJoinPoints.scope(...secondClause)) : ClavaJoinPoints.scope(...secondClause);
+                switchJp.replaceWith(ClavaJoinPoints.ifStmt(firstClauseExpr ?? "", ClavaJoinPoints.scope(...firstClause), elseStmt));
+            }));
+        }
+    }
+    r16_7_noEssentialBooleanInSwitch($startNode) {
+        if (!($startNode instanceof Switch))
+            return;
+        this.dependsOn(1, $startNode);
+        if (this._wellFormedSwitch === false)
+            return;
+        if ($startNode.condition.type.desugarAll instanceof BuiltinType && $startNode.condition.type.desugarAll.builtinKind === "Bool") {
+            this.logMISRAError("The controlling expression of a switch statement must not have essentially boolean type.");
+        }
+    }
+    _name = "Switch statements";
+}
+//# sourceMappingURL=S16_SwitchStatementPass.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S16_SwitchStatementPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S16_SwitchStatementPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAY,KAAK,EAAE,WAAW,EAAE,IAAI,EAAyB,MAAM,EAAE,MAAM,qCAAqC,CAAC;AACxH,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAC9D,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,MAAM,CAAC,OAAO,OAAO,uBAAwB,SAAQ,SAAS;IAChD,kBAAkB,GAAwB,EAAE,CAAC;IAC/C,iBAAiB,GAAY,KAAK,CAAC;IAE3C,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,CAAC,CAAC,EAAE,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,CAAC,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC,CAAC,EAAE,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACxD,CAAC,CAAC;IACP,CAAC;IAED,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,MAAM,IAAI,GAAG,YAAY,IAAI,CAAC;IACxD,CAAC;IAEO,2BAA2B,CAAC,UAAqB;QACrD,IAAI,CAAC,CAAC,UAAU,YAAY,MAAM,CAAC;YAAE,OAAO;QAC5C,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAE9B,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClD,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;gBAAA,CAAC;gBAC1B,SAAS,GAAG,KAAK,CAAC;YACtB,CAAC;iBACI,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC7B,KAAK,GAAG,KAAK,CAAC;YAClB,CAAC;iBACI,CAAC;gBACF,SAAS,GAAG,IAAI,CAAC;YACrB,CAAC;YAED,IAAI,SAAS,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBACrC,IAAI,CAAC,aAAa,CAAC,6BAA6B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9D,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC;YACnC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,KAAK,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,aAAa,CAAC,wDAAwD,CAAC,CAAC;YAC7E,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC;QACnC,CAAC;IACL,CAAC;IAEO,0BAA0B,CAAC,UAAqB;QACpD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,CAAC;YAAE,OAAO;QAE1C,IAAI,CAAC,CAAC,UAAU,CAAC,aAAa,YAAY,MAAM,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,aAAa,CAAC,qGAAqG,CAAC,CAAC;QAC9H,CAAC;IACL,CAAC;IAEO,sBAAsB,CAAC,UAAqB;QAChD,IAAI,CAAC,CAAC,UAAU,YAAY,MAAM,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YAAE,OAAO;QAE1E,IAAI,CAAC,aAAa,CAAC,6CAA6C,CAAC,CAAC;IACtE,CAAC;IAGO,wBAAwB,CAAC,UAAqB;QAClD,IAAI,CAAC,CAAC,UAAU,YAAY,MAAM,CAAC;YAAE,OAAO;QAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,GAAC,CAAC,CAAC,EAAE,CAAC;gBAC9E,OAAO;YACX,CAAC;iBACI,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;gBACrC,IAAI,CAAC,aAAa,CAAC,yEAAyE,CAAC,CAAC;gBAC9F,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC;IAEO,kBAAkB,CAAC,UAAqB;QAC5C,IAAI,CAAC,CAAC,UAAU,YAAY,MAAM,CAAC;YAAE,OAAO;QAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,iBAAiB,KAAK,KAAK;YAAE,OAAO;QAE7C,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClD,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;gBACzB,OAAO,EAAE,CAAC;YACd,CAAC;QACL,CAAC;QAED,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;YACf,IAAI,CAAC,aAAa,CAAC,sDAAsD,EAAE,IAAI,GAAG,CAC9E,UAAU,EACV,CAAC,UAAqB,EAAE,EAAE;gBACtB,MAAM,QAAQ,GAAG,UAAoB,CAAC;gBACtC,IAAI,eAAe,GAA2B,SAAS,CAAC;gBACxD,IAAI,gBAAgB,GAA2B,SAAS,CAAC;gBACzD,IAAI,WAAW,GAAgB,EAAE,CAAC;gBAClC,IAAI,YAAY,GAAgB,EAAE,CAAC;gBACnC,IAAI,cAAc,GAA2B,SAAS,CAAC;gBACvD,IAAI,UAAU,GAAgB,EAAE,CAAC;gBACjC,IAAI,gBAAgB,GAAY,KAAK,CAAC;gBACtC,IAAI,iBAAiB,GAAY,KAAK,CAAC;gBACvC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,aAAa,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;gBAC3F,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACnC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;oBAC9C,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;wBACxB,IAAI,MAAgB,CAAC;wBACrB,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;4BAClB,gBAAgB,GAAG,IAAI,CAAC;4BACxB,SAAS;wBACb,CAAC;6BACI,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;4BACjC,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC9E,CAAC;6BACI,CAAC;4BACF,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBAClL,CAAC;wBACD,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;oBACxG,CAAC;yBACI,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;wBAC9B,IAAI,gBAAgB,EAAE,CAAC;4BACnB,YAAY,GAAG,UAAU,CAAC;4BAC1B,gBAAgB,GAAG,SAAS,CAAC;wBACjC,CAAC;6BACI,IAAI,iBAAiB,EAAE,CAAC;4BACzB,YAAY,GAAG,UAAU,CAAC;4BAC1B,gBAAgB,GAAG,cAAc,CAAC;wBACtC,CAAC;6BACI,CAAC;4BACF,WAAW,GAAG,UAAU,CAAC;4BACzB,eAAe,GAAG,cAAc,CAAC;4BACjC,iBAAiB,GAAG,IAAI,CAAC;wBAC7B,CAAC;wBACD,gBAAgB,GAAG,KAAK,CAAC;wBACzB,UAAU,GAAG,EAAE,CAAC;wBAChB,cAAc,GAAG,SAAS,CAAC;oBAC/B,CAAC;yBACI,CAAC;wBACF,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,CAAC;gBACT,CAAC;gBAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,gBAAgB,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,CAAC;gBAC9J,QAAQ,CAAC,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YACzH,CAAC,CACJ,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAEO,gCAAgC,CAAC,UAAqB;QAC1D,IAAI,CAAC,CAAC,UAAU,YAAY,MAAM,CAAC;YAAE,OAAO;QAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,iBAAiB,KAAK,KAAK;YAAE,OAAO;QAE7C,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,YAAY,WAAW,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;YAC7H,IAAI,CAAC,aAAa,CAAC,0FAA0F,CAAC,CAAC;QACnH,CAAC;IACL,CAAC;IAES,KAAK,GAAW,mBAAmB,CAAC;CAEjD"}

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

@@ -0,0 +1,12 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S17_FunctionPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private r17_1_noStdargUsage;
+    private r17_7_returnValuesAreUsed;
+    protected _name: string;
+}
+//# sourceMappingURL=S17_FunctionPass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S17_FunctionPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S17_FunctionPass.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,gBAAiB,SAAQ,SAAS;IACnD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAMtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,mBAAmB;IAQ3B,OAAO,CAAC,yBAAyB;IAYjC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAe;CAEzC"}

package/dist/misra/passes/S17_FunctionPass.js

@@ -0,0 +1,38 @@
+import MISRAPass from "../MISRAPass.js";
+import { BuiltinType, Call, ExprStmt, Include } 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 S17_FunctionPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [1, this.r17_1_noStdargUsage.bind(this)],
+            [7, this.r17_7_returnValuesAreUsed.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof Include || $jp instanceof Call;
+    }
+    r17_1_noStdargUsage($startNode) {
+        if (!($startNode instanceof Include))
+            return;
+        ;
+        if ($startNode.name === "stdarg.h" && $startNode.isAngled) {
+            this.logMISRAError("Use of <stdarg.h> is not allowed.");
+        }
+    }
+    r17_7_returnValuesAreUsed($startNode) {
+        if (!($startNode instanceof Call))
+            return;
+        if ($startNode.returnType instanceof BuiltinType && $startNode.returnType.isVoid)
+            return;
+        if ($startNode.parent instanceof ExprStmt) {
+            this.logMISRAError(`Return value of ${$startNode.signature} must be used. It can be discarded with an explicit cast to void.`, new Fix($startNode, ($jp) => {
+                const newJp = ClavaJoinPoints.cStyleCast(ClavaJoinPoints.type("void"), $jp);
+                $jp.replaceWith(newJp);
+            }));
+        }
+    }
+    _name = "Functions";
+}
+//# sourceMappingURL=S17_FunctionPass.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S17_FunctionPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S17_FunctionPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAa,MAAM,qCAAqC,CAAC;AACtG,OAAO,GAAG,MAAM,6CAA6C,CAAC;AAC9D,OAAO,eAAe,MAAM,gDAAgD,CAAC;AAE7E,MAAM,CAAC,OAAO,OAAO,gBAAiB,SAAQ,SAAS;IACzC,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC,CAAC,EAAE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACjD,CAAC,CAAC;IACP,CAAC;IACD,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,OAAO,IAAI,GAAG,YAAY,IAAI,CAAC;IACzD,CAAC;IAEO,mBAAmB,CAAC,UAAqB;QAC7C,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,CAAC;YAAE,OAAO;QAAA,CAAC;QAE9C,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxD,IAAI,CAAC,aAAa,CAAC,mCAAmC,CAAC,CAAC;QAC5D,CAAC;IACL,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,IAAI,CAAC,CAAC,UAAU,YAAY,IAAI,CAAC;YAAE,OAAO;QAC1C,IAAI,UAAU,CAAC,UAAU,YAAY,WAAW,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM;YAAE,OAAO;QAEzF,IAAI,UAAU,CAAC,MAAM,YAAY,QAAQ,EAAE,CAAC;YACxC,IAAI,CAAC,aAAa,CAAC,mBAAmB,UAAU,CAAC,SAAS,mEAAmE,EAAE,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;gBACvJ,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAW,CAAC,CAAC;gBACpF,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IAES,KAAK,GAAW,WAAW,CAAC;CAEzC"}

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

@@ -0,0 +1,17 @@
+import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
+import MISRAPass from "../MISRAPass.js";
+import { PreprocessingReqs } from "../MISRAReporter.js";
+export default class S18_PointersArraysPass extends MISRAPass {
+    protected _preprocessingReqs: PreprocessingReqs[];
+    initRuleMapper(): void;
+    matchJoinpoint($jp: LaraJoinPoint): boolean;
+    private static isPointerType;
+    private r18_4_noPointerArithmetic;
+    private static getDepth;
+    private static getUnderlyingType;
+    private r18_5_noExcessivePointerNesting;
+    private r18_7_noFlexibleArrayMembers;
+    private r18_8_noVariableLengthArrays;
+    protected _name: string;
+}
+//# sourceMappingURL=S18_PointersArraysPass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S18_PointersArraysPass.d.ts","sourceRoot":"","sources":["../../../src/misra/passes/S18_PointersArraysPass.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;AAGxD,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;IACzD,SAAS,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEvD,cAAc,IAAI,IAAI;IAQtB,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO;IAI3C,OAAO,CAAC,MAAM,CAAC,aAAa;IAQ5B,OAAO,CAAC,yBAAyB;IAYjC,OAAO,CAAC,MAAM,CAAC,QAAQ;IAkBvB,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAgBhC,OAAO,CAAC,+BAA+B;IA8BvC,OAAO,CAAC,4BAA4B;IASpC,OAAO,CAAC,4BAA4B;IAUpC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAyB;CAEnD"}

package/dist/misra/passes/S18_PointersArraysPass.js

@@ -0,0 +1,115 @@
+import MISRAPass from "../MISRAPass.js";
+import { BinaryOp, Field, FunctionJp, FunctionType, Param, PointerType, QualType, Vardecl } from "@specs-feup/clava/api/Joinpoints.js";
+export default class S18_PointersArraysPass extends MISRAPass {
+    _preprocessingReqs = [];
+    initRuleMapper() {
+        this._ruleMapper = new Map([
+            [4, this.r18_4_noPointerArithmetic.bind(this)],
+            [5, this.r18_5_noExcessivePointerNesting.bind(this)],
+            [7, this.r18_7_noFlexibleArrayMembers.bind(this)],
+            [8, this.r18_8_noVariableLengthArrays.bind(this)]
+        ]);
+    }
+    matchJoinpoint($jp) {
+        return $jp instanceof BinaryOp || $jp instanceof Vardecl || $jp instanceof FunctionJp || $jp instanceof Field;
+    }
+    static isPointerType($type) {
+        const newT = $type.desugarAll;
+        if (newT instanceof QualType) {
+            return this.isPointerType(newT.unqualifiedType);
+        }
+        else
+            return newT.isPointer;
+    }
+    r18_4_noPointerArithmetic($startNode) {
+        if (!($startNode instanceof BinaryOp && /(\+=)|(-=)|(\+)|(-)/.test($startNode.operator)))
+            return;
+        const leftT = $startNode.left.type;
+        const rightT = $startNode.right.type;
+        if ((S18_PointersArraysPass.isPointerType(leftT) && !S18_PointersArraysPass.isPointerType(rightT))
+            || (S18_PointersArraysPass.isPointerType(rightT) && !S18_PointersArraysPass.isPointerType(leftT))) {
+            this.logMISRAError("Pointer arithmetic is not allowed. The only exception is if two pointers to elements of the same array are subtracted.");
+        }
+    }
+    static getDepth(type) {
+        let depth = 0;
+        let curr = type.desugarAll;
+        while (curr.isPointer === true) {
+            depth++;
+            if (curr instanceof PointerType) {
+                curr = curr.pointee.desugarAll;
+            }
+            else if (curr instanceof QualType) {
+                curr = curr.unqualifiedType.pointee.desugarAll;
+            }
+            else {
+                throw new Error(`Not supported for type ${curr.joinPointType}.`);
+            }
+        }
+        return depth;
+    }
+    static getUnderlyingType(type) {
+        let curr = type.desugarAll;
+        while (curr.isPointer === true) {
+            if (curr instanceof PointerType) {
+                curr = curr.pointee.desugarAll;
+            }
+            else if (curr instanceof QualType) {
+                curr = curr.unqualifiedType.pointee.desugarAll;
+            }
+            else {
+                throw new Error(`Not supported for type ${curr.joinPointType}.`);
+            }
+        }
+        return curr;
+    }
+    r18_5_noExcessivePointerNesting($startNode) {
+        if (($startNode instanceof Vardecl && !($startNode instanceof Param)) || $startNode instanceof Field) {
+            const depth = S18_PointersArraysPass.getDepth($startNode.type);
+            const underlyingType = S18_PointersArraysPass.getUnderlyingType($startNode.type);
+            if (underlyingType instanceof FunctionType) {
+                const retDepth = S18_PointersArraysPass.getDepth(underlyingType.returnType);
+                const paramDepths = underlyingType.paramTypes.map(type => S18_PointersArraysPass.getDepth(type)).filter(d => d > 2);
+                if (retDepth > 2) {
+                    this.logMISRAError(`Return type of function pointer ${$startNode.code} has more than two levels of indirection.`);
+                }
+                if (paramDepths.length > 0) {
+                    this.logMISRAError(`One or more parameters of function pointer ${$startNode.code} have more than two levels of indirection.`);
+                }
+            }
+            if (depth > 2) {
+                this.logMISRAError(`Type ${$startNode.type.code} has more than two levels of indirection.`);
+            }
+        }
+        else if ($startNode instanceof FunctionJp) {
+            const retDepth = S18_PointersArraysPass.getDepth($startNode.functionType.returnType);
+            const paramDepths = $startNode.functionType.paramTypes.map(type => S18_PointersArraysPass.getDepth(type)).filter(d => d > 2);
+            if (retDepth > 2) {
+                this.logMISRAError(`Return type of function ${$startNode.signature} has more than two levels of indirection.`);
+            }
+            if (paramDepths.length > 0) {
+                this.logMISRAError(`One or more parameters of function ${$startNode.signature} have more than two levels of indirection.`);
+            }
+        }
+    }
+    r18_7_noFlexibleArrayMembers($startNode) {
+        if (!($startNode instanceof Field))
+            return;
+        if (!$startNode.type.desugarAll.isArray || $startNode instanceof Param)
+            return;
+        if ($startNode.type.desugarAll.arraySize === -1) {
+            this.logMISRAError(`Array ${$startNode.name} has variable or undefined size.`);
+        }
+    }
+    r18_8_noVariableLengthArrays($startNode) {
+        if (!($startNode instanceof Vardecl))
+            return;
+        if (!$startNode.type.desugarAll.isArray || $startNode.instanceOf("param"))
+            return;
+        if ($startNode.type.desugarAll.arraySize === -1) {
+            this.logMISRAError(`Array ${$startNode.name} has variable or undefined size.`);
+        }
+    }
+    _name = "Pointers and arrays";
+}
+//# sourceMappingURL=S18_PointersArraysPass.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"S18_PointersArraysPass.js","sourceRoot":"","sources":["../../../src/misra/passes/S18_PointersArraysPass.ts"],"names":[],"mappings":"AACA,OAAO,SAAS,MAAM,iBAAiB,CAAC;AAExC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAa,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAQ,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAExJ,MAAM,CAAC,OAAO,OAAO,sBAAuB,SAAQ,SAAS;IAC/C,kBAAkB,GAAwB,EAAE,CAAC;IAEvD,cAAc;QACV,IAAI,CAAC,WAAW,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC,CAAC,EAAE,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,EAAE,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACpD,CAAC,CAAC;IACP,CAAC;IACD,cAAc,CAAC,GAAkB;QAC7B,OAAO,GAAG,YAAY,QAAQ,IAAI,GAAG,YAAY,OAAO,IAAI,GAAG,YAAY,UAAU,IAAI,GAAG,YAAY,KAAK,CAAC;IAClH,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,KAAW;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAA;QAC7B,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACpD,CAAC;;YACI,OAAO,IAAI,CAAC,SAAS,CAAC;IAC/B,CAAC;IAEO,yBAAyB,CAAC,UAAqB;QACnD,IAAI,CAAC,CAAC,UAAU,YAAY,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAAE,OAAO;QAEjG,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACnC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAErC,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;eAC3F,CAAC,sBAAsB,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACpG,IAAI,CAAC,aAAa,CAAC,wHAAwH,CAAC,CAAA;QAChJ,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,QAAQ,CAAC,IAAU;QAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC3B,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC7B,KAAK,EAAE,CAAC;YAER,IAAG,IAAI,YAAY,WAAW,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,CAAC;iBAAM,IAAG,IAAI,YAAY,QAAQ,EAAE,CAAC;gBACjC,IAAI,GAAI,IAAI,CAAC,eAA+B,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;YACrE,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,MAAM,CAAC,iBAAiB,CAAC,IAAU;QACvC,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QAC3B,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAE7B,IAAG,IAAI,YAAY,WAAW,EAAE,CAAC;gBAC7B,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;YACnC,CAAC;iBAAM,IAAG,IAAI,YAAY,QAAQ,EAAE,CAAC;gBACjC,IAAI,GAAI,IAAI,CAAC,eAA+B,CAAC,OAAO,CAAC,UAAU,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;YACrE,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,+BAA+B,CAAC,UAAqB;QACzD,IAAI,CAAC,UAAU,YAAY,OAAO,IAAI,CAAC,CAAC,UAAU,YAAY,KAAK,CAAC,CAAC,IAAI,UAAU,YAAY,KAAK,EAAE,CAAC;YACnG,MAAM,KAAK,GAAG,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC/D,MAAM,cAAc,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACjF,IAAI,cAAc,YAAY,YAAY,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBAC5E,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpH,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;oBACf,IAAI,CAAC,aAAa,CAAC,mCAAmC,UAAU,CAAC,IAAI,2CAA2C,CAAC,CAAC;gBACtH,CAAC;gBACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACzB,IAAI,CAAC,aAAa,CAAC,8CAA8C,UAAU,CAAC,IAAI,4CAA4C,CAAC,CAAC;gBAClI,CAAC;YACL,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACZ,IAAI,CAAC,aAAa,CAAC,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,2CAA2C,CAAC,CAAA;YAC/F,CAAC;QACL,CAAC;aACI,IAAI,UAAU,YAAY,UAAU,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YACrF,MAAM,WAAW,GAAG,UAAU,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7H,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;gBACf,IAAI,CAAC,aAAa,CAAC,2BAA2B,UAAU,CAAC,SAAS,2CAA2C,CAAC,CAAC;YACnH,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,aAAa,CAAC,sCAAsC,UAAU,CAAC,SAAS,4CAA4C,CAAC,CAAC;YAC/H,CAAC;QACL,CAAC;IACL,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,IAAI,CAAC,CAAC,UAAU,YAAY,KAAK,CAAC;YAAE,OAAO;QAC3C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,YAAY,KAAK;YAAE,OAAO;QAE/E,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,IAAI,kCAAkC,CAAC,CAAC;QACnF,CAAC;IACL,CAAC;IAEO,4BAA4B,CAAC,UAAqB;QACtD,IAAI,CAAC,CAAC,UAAU,YAAY,OAAO,CAAC;YAAE,OAAO;QAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,OAAO;QAElF,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,SAAS,UAAU,CAAC,IAAI,kCAAkC,CAAC,CAAC;QACnF,CAAC;IACL,CAAC;IAGS,KAAK,GAAW,qBAAqB,CAAC;CAEnD"}