SAACFchaseMinMax() gives wrong result for AVIS_MAX when arg_node is AKV
|
|
Bugzilla Link |
1193 |
Created on |
May 18, 2017 22:07 |
Resolution |
FIXED |
Resolved on |
May 18, 2017 23:13 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
This is a long-standing bug in CF that apparently has never
hit anyone who noticed it.
Basically, any CF calls that care about AVIS_MAX will give the
wrong answer when the argument node is AKV.
Instead of returning AVIS_MAX( arg_node), it returns a constant
built from arg_node. It SHOULD return 1+arg_node, because AVIS_MAX
is normalized, just as GENERATOR_BOUND2 is normalized.
sac2c -V
sac2c 1.2-beta-BlackForest-507-g4f66f-dirty
build-type: DEBUG
built-by: "sac" at 2017-05-18T16:24:11
I have a fix for it in bob-sac2cpogo4.
Bob