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 [desc]		Replies	Views	Info	Rating
	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	6,700	Views: 6,700 Replies: 3	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	7,973	Views: 7,973 Replies: 5	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	4,086	Views: 4,086 Replies: 1	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	4,352	Views: 4,352 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	5,791	Views: 5,791 Replies: 1	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	7,881	Views: 7,881 Replies: 5	0 Vote(s) - 0 out of 5 in Average
	semantic type checks Last Post: misra-c, 04-10-2018, 10:21 AM	1	4,035	Views: 4,035 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	8,182	Views: 8,182 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	MISRA C:2012 Rule 10.8 Question Last Post: elfdream, 11-11-2023, 03:29 PM	0	319	Views: 319 Replies: 0	0 Vote(s) - 0 out of 5 in Average
	10.4 violation for u8b + 2 Last Post: fmteau, 05-10-2021, 03:00 PM	2	2,510	Views: 2,510 Replies: 2	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	4,641	Views: 4,641 Replies: 1	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	6,294	Views: 6,294 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	5,248	Views: 5,248 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	3,794	Views: 3,794 Replies: 1	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	3,986	Views: 3,986 Replies: 1	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	7,632	Views: 7,632 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	6,512	Views: 6,512 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	Rule 10.4 and essentially signed integer constant expressions Last Post: misra-c, 13-02-2022, 09:58 AM	1	2,976	Views: 2,976 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	8,391	Views: 8,391 Replies: 2	0 Vote(s) - 0 out of 5 in Average
	No operators in #if Last Post: misra-c, 21-08-2021, 09:34 AM	8	6,336	Views: 6,336 Replies: 8	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	4,430	Views: 4,430 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	5,981	Views: 5,981 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	7,965	Views: 7,965 Replies: 3	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	6,497	Views: 6,497 Replies: 1	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	7,089	Views: 7,089 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	6,071	Views: 6,071 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	6,037	Views: 6,037 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	5,601	Views: 5,601 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	5,643	Views: 5,643 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	7,642	Views: 7,642 Replies: 3	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	6,261	Views: 6,261 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	9,866	Views: 9,866 Replies: 6	0 Vote(s) - 0 out of 5 in Average
	Further guidance on MISRA-C 2012 Rule 10.6 Last Post: mshawa, 09-04-2024, 02:29 PM	0	173	Views: 173 Replies: 0	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	5,998	Views: 5,998 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	6,741	Views: 6,741 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	9,578	Views: 9,578 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	7,019	Views: 7,019 Replies: 2	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	9,256	Views: 9,256 Replies: 2	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	6,570	Views: 6,570 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	7,447	Views: 7,447 Replies: 1	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	7,274	Views: 7,274 Replies: 1	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	10,169	Views: 10,169 Replies: 5	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	5,893	Views: 5,893 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	6,339	Views: 6,339 Replies: 1	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	5,379	Views: 5,379 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	5,853	Views: 5,853 Replies: 3	0 Vote(s) - 0 out of 5 in Average
	MISRA C:2012 Rule 10.8 Clarification Last Post: misra-c, 08-02-2024, 09:36 AM	1	646	Views: 646 Replies: 1	0 Vote(s) - 0 out of 5 in Average
	for loop iterator being comapred to a variable of another type Last Post: misra-c, 13-02-2022, 09:52 AM	3	3,057	Views: 3,057 Replies: 3	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