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 [asc]	Views	Info	Rating
	No operators in #if Last Post: misra-c, 21-08-2021, 09:34 AM	8	6,334	Views: 6,334 Replies: 8	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,861	Views: 9,861 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	10,168	Views: 10,168 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	7,880	Views: 7,880 Replies: 5	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,969	Views: 7,969 Replies: 5	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,576	Views: 9,576 Replies: 3	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,963	Views: 7,963 Replies: 3	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,638	Views: 7,638 Replies: 3	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	6,700	Views: 6,700 Replies: 3	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
	for loop iterator being comapred to a variable of another type Last Post: misra-c, 13-02-2022, 09:52 AM	3	3,056	Views: 3,056 Replies: 3	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,254	Views: 9,254 Replies: 2	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
	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
	10.5 Iterating over an enum Last Post: dermiem, 26-11-2015, 10:52 AM	2	8,180	Views: 8,180 Replies: 2	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,509	Views: 2,509 Replies: 2	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,446	Views: 7,446 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,631	Views: 7,631 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,739	Views: 6,739 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
	Essential Type of parenthesised expression Last Post: misra-c, 11-04-2014, 07:50 AM	1	6,496	Views: 6,496 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,088	Views: 7,088 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	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,338	Views: 6,338 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	6,568	Views: 6,568 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,035	Views: 6,035 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,598	Views: 5,598 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,642	Views: 5,642 Replies: 1	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
	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
	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
	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
	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
	-32768 on 16-bit targets Last Post: misra-c, 30-03-2017, 07:27 AM	1	5,247	Views: 5,247 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,377	Views: 5,377 Replies: 1	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
	Conversions outside of the essential type categories Last Post: misra-c, 18-10-2018, 01:29 PM	1	4,640	Views: 4,640 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,788	Views: 5,788 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,350	Views: 4,350 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	4,426	Views: 4,426 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,793	Views: 3,793 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,985	Views: 3,985 Replies: 1	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,085	Views: 4,085 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,974	Views: 2,974 Replies: 1	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	644	Views: 644 Replies: 1	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
	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

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