diff -r 9f1c3fea0f87 -r 2bd88482bfe5 graphicscomposition/openwfcompositionengine/composition/src/wfcapi.c --- a/graphicscomposition/openwfcompositionengine/composition/src/wfcapi.c Wed Aug 18 11:05:09 2010 +0300 +++ b/graphicscomposition/openwfcompositionengine/composition/src/wfcapi.c Thu Sep 02 21:50:40 2010 +0300 @@ -944,6 +944,9 @@ case WFC_EXTENSIONS: tmp = &wfc_extensions[0]; + /* we know that wfc_extensions always has NULL as the last member + so this loop will never exceed the size of tmp */ + /* coverity[overrun-local] */ for (retVal=0; tmp[retVal] != NULL; retVal++) { /* get extensions array size */