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
	Rule 10.4 and essentially signed integer constant expressions Last Post: misra-c, 13-02-2022, 09:58 AM	1	1,655	Views: 1,655 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	926	Views: 926 Replies: 3	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	1,192	Views: 1,192 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	3,042	Views: 3,042 Replies: 8	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,776	Views: 2,776 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,949	Views: 5,949 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,737	Views: 2,737 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	2,528	Views: 2,528 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	2,784	Views: 2,784 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	3,706	Views: 3,706 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,831	Views: 2,831 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	3,704	Views: 3,704 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,643	Views: 3,643 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	6,313	Views: 6,313 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	3,048	Views: 3,048 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	5,411	Views: 5,411 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	5,543	Views: 5,543 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,862	Views: 4,862 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	4,249	Views: 4,249 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	4,263	Views: 4,263 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	7,196	Views: 7,196 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	7,623	Views: 7,623 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	6,176	Views: 6,176 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	6,357	Views: 6,357 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	5,261	Views: 5,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	4,916	Views: 4,916 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	5,217	Views: 5,217 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	7,081	Views: 7,081 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	5,607	Views: 5,607 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,940	Views: 4,940 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,661	Views: 4,661 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,528	Views: 4,528 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,826	Views: 4,826 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	5,400	Views: 5,400 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	5,113	Views: 5,113 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	5,362	Views: 5,362 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,952	Views: 4,952 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,728	Views: 6,728 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	5,662	Views: 5,662 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,511	Views: 5,511 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,542	Views: 5,542 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,646	Views: 5,646 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	7,389	Views: 7,389 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,742	Views: 6,742 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	6,312	Views: 6,312 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