[Cannotate] Potential error for inc/dec operators?
Like the code below:
for (; diff > 0; diff--) {
(((&(L->top++)->val))->tt_ = (((0) | ((0) << 4))));
Would extracting L->top++
has side-effect?
Like the code below:
for (; diff > 0; diff--) {
(((&(L->top++)->val))->tt_ = (((0) | ((0) << 4))));
Would extracting L->top++
has side-effect?