Commits

Breadcrumbs

History for

on67a746e

User selector

All users

All time

Commit History

Commits on Jan 27, 2025

• Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

  Show description for 67a746e
  

  geoffw0

  and

  jketema

  authored
  67a746e

  Copy full SHA for 67a746e

Commits on Jan 24, 2025

• C++: Add a note for the other predicates as well.

  geoffw0

  committed
  06bd394

  Copy full SHA for 06bd394

• C++: Add a note in the QLDoc for comparesEq.

  geoffw0

  committed
  1f96200

  Copy full SHA for 1f96200

Commits on Jan 21, 2025

• C++: Support `#elifdef` `#elifndef`, and MSVC's `#import`

  jketema

  committed
  9fd9538

  Copy full SHA for 9fd9538

Commits on Jan 20, 2025

• Merge branch 'main' into remove-conflation-from-out-nodes

  MathiasVP

  committed
  ed65129

  Copy full SHA for ed65129

• Merge pull request #18502 from jketema/consteval

  Show description for 4b85ea3
  jketema

  authored
  4b85ea3

  Copy full SHA for 4b85ea3

• C++: Simplify consteval if to be just a single class with an `isNot` predicate

  jketema

  committed
  a9e0f20

  Copy full SHA for a9e0f20

Commits on Jan 18, 2025

• Merge branch 'main' into remove-conflation-from-out-nodes

  MathiasVP

  committed
  d1bb597

  Copy full SHA for d1bb597

• C++: Ensure that 'argumentOf' does not map to multiple argument positions.

  MathiasVP

  committed
  2448475

  Copy full SHA for 2448475

Commits on Jan 17, 2025

• C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.

  MathiasVP

  committed
  5c494c3

  Copy full SHA for 5c494c3

• C++: Remove an unnecessary conjunct.

  MathiasVP

  committed
  21f9e67

  Copy full SHA for 21f9e67

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

  MathiasVP

  committed
  b39a932

  Copy full SHA for b39a932

Commits on Jan 16, 2025

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

  MathiasVP

  committed
  d0bd6eb

  Copy full SHA for d0bd6eb

• C++: Support `if consteval` and `if ! consteval`

  jketema

  committed
  bc2f203

  Copy full SHA for bc2f203

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

  MathiasVP

  committed
  5373e22

  Copy full SHA for 5373e22

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

  MathiasVP

  committed
  14db788

  Copy full SHA for 14db788

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

  MathiasVP

  committed
  2d9036e

  Copy full SHA for 2d9036e

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

  MathiasVP

  committed
  ebb7f28

  Copy full SHA for ebb7f28

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

  MathiasVP

  committed
  9810a4f

  Copy full SHA for 9810a4f

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

  MathiasVP

  committed
  6577161

  Copy full SHA for 6577161

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

  MathiasVP

  committed
  f30bfb6

  Copy full SHA for f30bfb6

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

  MathiasVP

  committed
  dd39b97

  Copy full SHA for dd39b97

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

  MathiasVP

  committed
  5acd2bb

  Copy full SHA for 5acd2bb

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

  MathiasVP

  committed
  9429b03

  Copy full SHA for 9429b03

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

  MathiasVP

  committed
  6dd1c5e

  Copy full SHA for 6dd1c5e

Commits on Jan 15, 2025

• C++: Fix typos in IR translation comments

  jketema

  committed
  84c674b

  Copy full SHA for 84c674b

• C++: Fix incorrect dbscheme assumptions on proxy classes

  jketema

  committed
  8e39eb9

  Copy full SHA for 8e39eb9

• C++: Introduce usertypes for structs and unions

  jketema

  committed
  537fedd

  Copy full SHA for 537fedd

Commits on Jan 14, 2025

• Merge pull request #18486 from MathiasVP/indirect-instruction-barriers

  Show description for 0ff37f1
  MathiasVP

  authored
  0ff37f1

  Copy full SHA for 0ff37f1

• Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis

  Show description for 7196892
  paldepind

  authored
  7196892

  Copy full SHA for 7196892

• Merge pull request #18485 from MathiasVP/speed-up-cpp-unbounded-write

  Show description for aa55b8e
  MathiasVP

  authored
  aa55b8e

  Copy full SHA for aa55b8e

• Merge pull request #18478 from jketema/stats-try

  Show description for a2aefc9
  jketema

  authored
  a2aefc9

  Copy full SHA for a2aefc9

• Merge pull request #18488 from geoffw0/cleanup

  Show description for 4951571
  jketema

  authored
  4951571

  Copy full SHA for 4951571

• C++: QLDoc correction.

  geoffw0

  committed
  9600846

  Copy full SHA for 9600846

Commits on Jan 13, 2025

• C++: Fill in skeleton for indirect instruction/operand barrier nodes.

  MathiasVP

  committed
  6f3a2c4

  Copy full SHA for 6f3a2c4