ParamLine_Length_mod: properly handle empty input
commit1f6297203b6b36275c5c895763adbd705b4e3661
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Nov 2011 21:02:16 +0000 (17 22:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Nov 2011 21:04:57 +0000 (17 22:04 +0100)
treeaad3111a6fa766a427a3a06e730aedda6047806b
parent2164beab8563dfb6869e916ce65f31011e96d912
ParamLine_Length_mod: properly handle empty input

ParamLine_Length_mod usually doesn't get called on empty input,
but if POL_INTEGER is not set in MaxRays, then the input may easily
still be rationally empty, while not containing any integer points.

Reported-by: Vincent Loechner <loechner@unistra.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
util.c