Coverity DIVIDE_BY_ZERO - CID 10934

[Product Strategy Coverity Bug Uploader]

This bug is exported from the Coverity Integration Manager on Canonical's servers. For information on how this is done please see this website: https://wiki.ubuntu.com/CanonicalProductStrategy/Coverity
CID: 10934
Checker: DIVIDE_BY_ZERO
Category: No category available
CWE definition: http://cwe.mitre.org/data/definitions/571.html
File: /tmp/buildd/notify-osd-0.9.35daily12.11.28/egg/egg-alpha.c
Function: egg_ramp_dec_func
Code snippet:
506
507 timeline = egg_alpha_get_timeline (alpha);
508
509 current_frame_num = egg_timeline_get_current_frame (timeline);
CID 10934 - DIVIDE_BY_ZERO
On this path, function call "egg_timeline_get_n_frames(timeline)" has return value of 0
Assigning: "n_frames" = "egg_timeline_get_n_frames(timeline)".
510 n_frames = egg_timeline_get_n_frames (timeline);
511
CID 10934 - DIVIDE_BY_ZERO
In expression "(n_frames - current_frame_num) * 65535 / n_frames", division by expression "n_frames" which may be zero has undefined behavior.
512 return (n_frames - current_frame_num)
513 * EGG_ALPHA_MAX_ALPHA
514 / n_frames;
515 }

[Product Strategy Coverity Bug Uploader (coverity-uploader)]

Source file with Coverity annotations.