Page History

...

Code Block

bgColor	#ccccFF
lang	c

#include <stdio.h>
void func(void) {
  int val = 0; 
  /* ... */ 
  ++val;
  size_t align = _Alignof(int[val]);
  printf("%zu, %d\n", align, val);
  /* ... */
}

...

Fully implementedFully implemented

Tool

Version

Checker

Description

Astrée

Include Page

	Astrée_V
	Astrée_V

alignof-side-effect
generic-selection-side-effect
sizeof

Partially Fully checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-EXP44

Clang

Include Page

	Clang_V
	Clang_V

-Wunevaluated-expression

Can diagnose some instance of this rule, but not all (such as the _Alignof NCCE).

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.STRUCT.SE.SIZEOF
LANG.STRUCT.SE.CGEN

Side effects in sizeof
Side Effects in C Generic Selection

Compass/ROSE

Coverity

Include Page

	Coverity_V
	Coverity_V

MISRA C 2004 Rule 12.3

Partially implemented

ECLAIR

Include Page

	ECLAIR_V
	ECLAIR_V

CC2.EXP06

Fully implemented

Helix QAC

Include Page

	Helix QAC_V
	Helix QAC_V

C3307

Klocwork

Include Page

	Klocwork_V
	Klocwork_V

MISRA.SIZEOF.SIDE_EFFECT

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

54 S, 653 S

Fully implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

JSF-166{b,c}

CERT_C-EXP44-a
CERT_C-EXP44-b

Object designated by a volatile lvalue should not be accessed in the operand of the sizeof operator
The function call that causes the side effect shall not be the operand of the sizeof operator

PC-lint Plus

Include Page