checkedc/checkedc-llvm-project

Delete Bounds-Checking-for-LValue-Expressions doc

secure-sw-dev-bot opened this issue · 0 comments

secure-sw-dev-bot commented

This issue was copied from checkedc/checkedc-clang#1179

This PR removes the document that outlined the work needed to generalize bounds checking from variables to lvalue expressions. This document is no longer relevant since:

  1. The work to generalize bounds checking to lvalue expressions is done
  2. The parts that are relevant to bounds checking (e.g. AbstractSet and PreorderAST discussion) are in the bounds checking doc in PR #945)