signed_integer_overflow_check: if (foo + bar < foo) is undefined for signed
[smatch.git] / README
blob7cf62800e8f71259cf57f811269f933256617e11
1 There are some documents under the Documentation/ directory.