search

checkedc / checkedc-clang

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
https://www.checkedc.org
496 stars 72 forks source link

Equality should not be recorded between expressions such as x and x + 1 #1184

Closed kkjeer closed 3 years ago

kkjeer commented 3 years ago

Fixed by PR #1162