diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-24 07:41:34 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-25 16:36:52 +0200 |
| commit | 52579227fdc1978bb12be250ab063deaeccbde0f (patch) | |
| tree | d3df3937c3313d595ddcc1c8087f1309e7fcb441 /validation/function-pointer-inheritance.c | |
| parent | eb180d9c0f5838c6b47c63ec475f3088c775cfd3 (diff) | |
| download | sparse-dev-52579227fdc1978bb12be250ab063deaeccbde0f.tar.gz | |
shift: avoid simplification of ASR(LSR(x,0),N)
In most circumstances, the case where the LSR's count is zero
won't happen because it would have been optimized away before.
However there is a very small posibility it would happen:
at the first run of the simplification loop,
if the LSR and the ASR are in two different Basic Blocks and
the ASR's BB is processed before the LSR's BB (rare)
Reported-by: Ramsay Jones <ramsay@ramsayjones.plus.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/function-pointer-inheritance.c')
0 files changed, 0 insertions, 0 deletions