MISRA Discussion Forums - 8.10 The essential type model

Moderated By: david ward, misra-c

8.10 The essential type model - Rules

8.10 The essential type model
Thread / Author		Replies	Views	Info	Rating
	No operators in #if Last Post: misra-c, 21-08-2021, 09:34 AM	8	1,480	Views: 1,480 Replies: 8	0 Vote(s) - 0 out of 5 in Average
	10.4 violation for u8b + 2 Last Post: misra-c, 21-08-2021, 09:07 AM	1	437	Views: 437 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.4 and essentially signed integer constant expressions Last Post: jaska, 19-01-2021, 02:34 PM	0	1,129	Views: 1,129 Replies: 0	0 Vote(s) - 0 out of 5 in Average
	Is it possible to define your own Boolean types? Last Post: misra-c, 05-08-2020, 08:29 AM	1	2,170	Views: 2,170 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Does "u8 = 6L;" violate rule 10.3 Last Post: misra-c, 01-06-2020, 01:18 PM	3	5,164	Views: 5,164 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	Essential type of ~(uint16_t)0x30 Last Post: misra-c, 01-06-2020, 01:16 PM	1	2,222	Views: 2,222 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.3 "promoted type" of controlling expression Last Post: misra-c, 31-03-2020, 08:17 AM	1	1,963	Views: 1,963 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.6 An expression shall not be assigned to a wider type Last Post: misra-c, 03-02-2020, 01:53 PM	1	1,971	Views: 1,971 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.1: Essentially Boolean operands with & or \| bitwise operators Last Post: misra-c, 27-11-2019, 11:49 AM	3	2,779	Views: 2,779 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	Rule 10.3 - Bitfield narrower essential type Last Post: misra-c, 27-11-2019, 09:54 AM	1	2,025	Views: 2,025 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.8 Violation understanding details Last Post: misra-c, 14-02-2019, 12:29 PM	1	2,627	Views: 2,627 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Conversions outside of the essential type categories Last Post: misra-c, 18-10-2018, 01:29 PM	1	3,146	Views: 3,146 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.3 Clarification on assigning unsigned literal to signed Last Post: misra-c, 18-10-2018, 01:25 PM	3	5,529	Views: 5,529 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	semantic type checks Last Post: misra-c, 04-10-2018, 10:21 AM	1	2,593	Views: 2,593 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	why adding #define contsants for initializing a const is breaking rule 10.3 ? Last Post: misra-c, 04-10-2018, 09:58 AM	5	4,425	Views: 4,425 Replies: 5	0 Vote(s) - 0 out of 5 in Average
	10.1 the calculation "50 << 3U" looks safe to me Last Post: misra-c, 08-06-2018, 07:38 AM	5	4,491	Views: 4,491 Replies: 5	0 Vote(s) - 0 out of 5 in Average
	Essential type of integer constant expression of rank greater than unsigned int; interaction with addition to char Last Post: misra-c, 30-01-2018, 10:20 AM	3	4,075	Views: 4,075 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	essential type of constant expression Last Post: misra-c, 30-01-2018, 09:33 AM	1	3,683	Views: 3,683 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	-32768 on 16-bit targets Last Post: misra-c, 30-03-2017, 07:27 AM	1	3,736	Views: 3,736 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.3, conversion of constant expression Last Post: misra-c, 09-12-2016, 09:07 AM	6	5,999	Views: 5,999 Replies: 6	0 Vote(s) - 0 out of 5 in Average
	Rule 10.3, conversion from complex types to real floating types Last Post: misra-c, 27-06-2016, 12:23 PM	5	6,399	Views: 6,399 Replies: 5	0 Vote(s) - 0 out of 5 in Average
	Essential type of constant expressions Last Post: misra-c, 18-02-2016, 08:49 AM	1	5,631	Views: 5,631 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.5 Iterating over an enum Last Post: dermiem, 26-11-2015, 10:52 AM	2	5,482	Views: 5,482 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	Rule 10.3 Does exception 1 apply to case labels? Last Post: misra-c, 06-11-2015, 11:40 AM	1	4,798	Views: 4,798 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.3 and essential type of & expression Last Post: misra-c, 29-10-2015, 03:08 PM	1	4,409	Views: 4,409 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	8.10.3 Is ~ operator composite? Last Post: misra-c, 25-06-2015, 07:56 AM	1	4,743	Views: 4,743 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	10.3 and storing enums in integers Last Post: misra-c, 26-03-2015, 03:26 PM	3	6,026	Views: 6,026 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	Essential type of enumerated constants Last Post: misra-c, 26-03-2015, 03:15 PM	2	4,958	Views: 4,958 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	C90: Bitfield as essential boolean type Last Post: misra-c, 13-03-2015, 08:57 AM	1	4,418	Views: 4,418 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	What is the essential type of -123L? Last Post: misra-c, 17-02-2015, 01:28 PM	1	4,215	Views: 4,215 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	8.10.3 Are increment operator composite? Last Post: misra-c, 13-02-2015, 10:14 AM	1	4,080	Views: 4,080 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.2 Are increment/decrement compliant Last Post: misra-c, 13-02-2015, 10:03 AM	1	4,246	Views: 4,246 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Clarification of Composite Expressions and casts Last Post: misra-c, 19-12-2014, 01:13 PM	1	4,885	Views: 4,885 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Essential Type of preprocessing statement Last Post: misra-c, 05-12-2014, 01:51 PM	1	4,560	Views: 4,560 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Essential type of wchar_t? Last Post: misra-c, 05-12-2014, 09:20 AM	1	4,889	Views: 4,889 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Essential rank of variabls and constants Last Post: misra-c, 05-12-2014, 09:19 AM	1	4,461	Views: 4,461 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.1 Small integer type operands of bitwise operators Last Post: jeromeb, 10-11-2014, 08:27 AM	2	6,021	Views: 6,021 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	Rule 10.5 cast of enum to boolean Last Post: misra-c, 09-10-2014, 08:37 AM	1	4,872	Views: 4,872 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Essential Type of parenthesised expression Last Post: misra-c, 11-04-2014, 07:50 AM	1	5,024	Views: 5,024 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Essential Type of an Expression Clarification Last Post: misra-c, 31-03-2014, 12:38 PM	1	5,037	Views: 5,037 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Clarification of Rationale for Rule 10.8 Last Post: misra-c, 13-12-2013, 09:00 AM	1	5,107	Views: 5,107 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Clarification of Exception for Rule 10.4 Last Post: misra-c, 12-11-2013, 12:43 PM	2	6,609	Views: 6,609 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	Essential Type Category of Complex Floating Types? Last Post: misra-c, 12-09-2013, 09:04 AM	1	6,225	Views: 6,225 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Floating point test for equality Last Post: misra-c, 01-07-2013, 12:21 PM	1	5,852	Views: 5,852 Replies: 1	0 Vote(s) - 0 out of 5 in Average

New Posts

Hot Thread (New)

Hot Thread (No New)

No New Posts

Contains Posts by You

Closed Thread

Forum Jump:

Login
Username
Password
	Remember me Lost Password?

Welcome to the MISRA discussion forum