Code

NULL compares equal to 0#4526

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-pointer-comparisontautschnig/cbmc:fix-pointer-comparisonCopy head branch name to clipboard

Apr 13, 2019

Commits

Commits on Apr 13, 2019

• NULL compares equal to 0 when config.ansi_c.NULL_is_zero is set

  Show description for 8f68057
  tautschnig

  committed
  8f68057

  Copy full SHA for 8f68057