Open
Description
This issue was copied from checkedc/checkedc-clang#1078
PreorderAST::GetDerefOffset
should be removed after the updated implementation of the bounds widening analysis merges. This method will be replaced by PreorderAST::GetExprIntDiff
.