[BoundsWidening] Adding all bounds widening analysis commits#1122

Merged

mgrang merged 8 commits into

bounds_widening_analysis2

Jul 9, 2021

Commits on Jul 6, 2021

[BoundsWidening] Gather lower and upper bounds variables separately
Mandeep Singh Grang
committed
[BoundsWidening] Rename variables used in BoundsAnalysis.cpp
Mandeep Singh Grang
committed
[PreorderAST] Add method to compute integer diff between two expressions
Mandeep Singh Grang
committed

Commits on Jul 7, 2021

[BoundsWidening] Implement the bounds widening dataflow analysis
Mandeep Singh Grang
committed
[BoundsWidening] Invoke updated bounds widening methods from SemaBounds.cpp
Mandeep Singh Grang
committed
[BoundsWidening] Update observed bounds with widened bounds
Mandeep Singh Grang
committed
[BoundsWidening] Delete the old bounds widening analysis source files
Mandeep Singh Grang
committed
Merge branch 'bounds_widening_analysis' into bounds_widening_analysis2
Mandeep Singh Grang
committed