File tree Expand file tree Collapse file tree
cpp/ql/lib/semmle/code/cpp/stmts Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1412,9 +1412,9 @@ private int indexOfSwitchCaseRank(BlockStmt b, int rnk) {
14121412 * switch (i)
14131413 * {
14141414 * case 5:
1415- * ...
1415+ * ...
14161416 * default:
1417- * ...
1417+ * ...
14181418 * }
14191419 * ```
14201420 */
@@ -1709,9 +1709,9 @@ class SwitchCase extends Stmt, @stmt_switch_case {
17091709 * switch (i)
17101710 * {
17111711 * case 5:
1712- * ...
1712+ * ...
17131713 * default:
1714- * ...
1714+ * ...
17151715 * }
17161716 * ```
17171717 */
@@ -1733,9 +1733,9 @@ class DefaultCase extends SwitchCase {
17331733 * switch (i)
17341734 * {
17351735 * case 5:
1736- * ...
1736+ * ...
17371737 * default:
1738- * ...
1738+ * ...
17391739 * }
17401740 * ```
17411741 */
@@ -1770,10 +1770,10 @@ class SwitchStmt extends ConditionalStmt, @stmt_switch {
17701770 * For example, for
17711771 * ```
17721772 * switch(i) {
1773- * case 1:
1774- * case 2:
1773+ * case 1:
1774+ * case 2:
17751775 * break;
1776- * default:
1776+ * default:
17771777 * break;
17781778 * }
17791779 * ```
@@ -1792,20 +1792,20 @@ class SwitchStmt extends ConditionalStmt, @stmt_switch {
17921792 * For example, for
17931793 * ```
17941794 * switch(i) {
1795- * case 1:
1796- * case 2:
1795+ * case 1:
1796+ * case 2:
17971797 * break;
1798- * default:
1798+ * default:
17991799 * break;
18001800 * }
18011801 * ```
18021802 * the result is
18031803 * ```
18041804 * {
1805- * case 1:
1806- * case 2:
1805+ * case 1:
1806+ * case 2:
18071807 * break;
1808- * default:
1808+ * default:
18091809 * break;
18101810 * }
18111811 * ```
@@ -1818,10 +1818,10 @@ class SwitchStmt extends ConditionalStmt, @stmt_switch {
18181818 * For example, for
18191819 * ```
18201820 * switch(i) {
1821- * case 1:
1822- * case 2:
1821+ * case 1:
1822+ * case 2:
18231823 * break;
1824- * default:
1824+ * default:
18251825 * break;
18261826 * }
18271827 * ```
@@ -1853,18 +1853,18 @@ class SwitchStmt extends ConditionalStmt, @stmt_switch {
18531853 * For example, for
18541854 * ```
18551855 * switch(i) {
1856- * case 1:
1857- * case 2:
1856+ * case 1:
1857+ * case 2:
18581858 * break;
1859- * default:
1859+ * default:
18601860 * break;
18611861 * }
18621862 * ```
18631863 * the result is `default:`, but there is no result for
18641864 * ```
18651865 * switch(i) {
1866- * case 1:
1867- * case 2:
1866+ * case 1:
1867+ * case 2:
18681868 * break;
18691869 * }
18701870 * ```
@@ -1877,18 +1877,18 @@ class SwitchStmt extends ConditionalStmt, @stmt_switch {
18771877 * For example, this holds for
18781878 * ```
18791879 * switch(i) {
1880- * case 1:
1881- * case 2:
1880+ * case 1:
1881+ * case 2:
18821882 * break;
1883- * default:
1883+ * default:
18841884 * break;
18851885 * }
18861886 * ```
18871887 * but not for
18881888 * ```
18891889 * switch(i) {
1890- * case 1:
1891- * case 2:
1890+ * case 1:
1891+ * case 2:
18921892 * break;
18931893 * }
18941894 * ```
You can’t perform that action at this time.
0 commit comments