Actions
Bug #8375
openExcessive const qualifier for local array of function pointers
Start date:
08/22/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
For instance for module net/sctp/sctp.ko instead of original:
static printfn_t *table[] = ...
C-backend outputs:
printfn_t const *table[5U] = ...
CPAchecker and Clang likely treat this as undefined behavior. GCC looks to be silent.
Thanks to Philipp Wendler for reporting the case.
Actions