C++: Generate int-to-bool conversions in C code#18490

Merged

MathiasVP merged 26 commits intogithub:mainfrom

MathiasVP:generate-int-to-bool-conversion-instructions-2

Jan 17, 2025

Commits on Jan 16, 2025

C++: Split out 'NotExpr' to its own class.
MathiasVP
committed
C++: Provide a hook for overriding 'getResultType'.
MathiasVP
committed
C++: Adjust the result type at 'NotExpr' and at comparisons.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Insert int-to-bool conversions at conditions.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Insert int-to-bool conversions at 'NotExpr's.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Insert int-to-bool conversions at binary conditional expressions.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Accept Guards test changes.
MathiasVP
committed
C++: Remove 'inNonZeroCase' from IRGuards since we now always have implicit comparisons against 0 in C code.
MathiasVP
committed
C++: Remove workaround for missing comparisons against 0 in C code.
MathiasVP
committed
C++: Make 'getInstructionConvertedResultExpression' equivalent in C and C++.
MathiasVP
committed
C++: Accept sign analysis changes.
MathiasVP
committed
C++: Ensure that 'x' in 'if(!x) is also an AST-based GuardCondition.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Improve IRGuads logic for 'unlikely' expressions.
MathiasVP
committed
Merge branch 'main' into generate-int-to-bool-conversion-instructions-2
MathiasVP
committed
C++: Add an copy of a (slightly modified) syntax-zoo test as an IR test.
MathiasVP
committed
C++: Add a guard condition test with an example of a negated less-than relation.
MathiasVP
committed
C++: Add more tests.
MathiasVP
committed
C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.
MathiasVP
committed
C++: Add more tests.
MathiasVP
committed

Commits on Jan 17, 2025

C++: Update comment in the char pred of 'GuardConditionFromNotExpr'.
MathiasVP
committed
C++: Remove an unnecessary conjunct.
MathiasVP
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

C++: Generate int-to-bool conversions in C code#18490

C++: Generate int-to-bool conversions in C code#18490
MathiasVP merged 26 commits intogithub:mainfrom
MathiasVP:generate-int-to-bool-conversion-instructions-2

Commits on Jan 16, 2025

C++: Split out 'NotExpr' to its own class.

C++: Provide a hook for overriding 'getResultType'.

C++: Adjust the result type at 'NotExpr' and at comparisons.

C++: Accept test changes.

C++: Insert int-to-bool conversions at conditions.

C++: Accept test changes.

C++: Insert int-to-bool conversions at 'NotExpr's.

C++: Accept test changes.

C++: Insert int-to-bool conversions at binary conditional expressions.

C++: Accept test changes.

C++: Accept Guards test changes.

C++: Remove 'inNonZeroCase' from IRGuards since we now always have implicit comparisons against 0 in C code.

C++: Remove workaround for missing comparisons against 0 in C code.

C++: Make 'getInstructionConvertedResultExpression' equivalent in C and C++.

C++: Accept sign analysis changes.

C++: Ensure that 'x' in 'if(!x) is also an AST-based GuardCondition.

C++: Accept test changes.

C++: Improve IRGuads logic for 'unlikely' expressions.

Merge branch 'main' into generate-int-to-bool-conversion-instructions-2

C++: Add an copy of a (slightly modified) syntax-zoo test as an IR test.

C++: Add a guard condition test with an example of a negated less-than relation.

C++: Add more tests.

C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.

C++: Add more tests.

Commits on Jan 17, 2025

C++: Update comment in the char pred of 'GuardConditionFromNotExpr'.

C++: Remove an unnecessary conjunct.

C++: Generate int-to-bool conversions in C code#18490MathiasVP merged 26 commits intogithub:maingithub/codeql:mainfrom MathiasVP:generate-int-to-bool-conversion-instructions-2MathiasVP/ql:generate-int-to-bool-conversion-instructions-2Copy head branch name to clipboard

Commits

Commits on Jan 16, 2025

Commits on Jan 17, 2025

C++: Generate int-to-bool conversions in C code#18490
MathiasVP merged 26 commits intogithub:mainfrom
MathiasVP:generate-int-to-bool-conversion-instructions-2