8.10 The essential type model

Moderators: misra-c, david ward

New Topic

44 topics • Page 1 of 1

Topics

Replies

Views

Last post

Rule 10.4 and essentially signed integer constant expressions

Last post by jaska « Tue Jan 19, 2021 2:34 pm

by jaska » Tue Jan 19, 2021 2:34 pm

0 Replies

132 Views

Last post by jaska
Tue Jan 19, 2021 2:34 pm
10.4 violation for u8b + 2

Last post by fmteau « Mon Jan 18, 2021 1:27 pm

by fmteau » Mon Jan 18, 2021 1:27 pm

0 Replies

88 Views

Last post by fmteau
Mon Jan 18, 2021 1:27 pm
No operators in #if

Last post by dg1980 « Fri Dec 18, 2020 10:20 am
Replies: 7
by John C » Thu Dec 17, 2020 8:29 am

7 Replies

561 Views

Last post by dg1980
Fri Dec 18, 2020 10:20 am
Is it possible to define your own Boolean types?

Last post by misra-c « Wed Aug 05, 2020 9:29 am
Replies: 1
by andrea96b1 » Mon Jul 06, 2020 8:44 am

1 Replies

1768 Views

Last post by misra-c
Wed Aug 05, 2020 9:29 am
Does "u8 = 6L;" violate rule 10.3

Last post by misra-c « Mon Jun 01, 2020 2:18 pm
Replies: 3
by misra-c » Fri Jun 17, 2016 2:11 pm

3 Replies

4525 Views

Last post by misra-c
Mon Jun 01, 2020 2:18 pm
Essential type of ~(uint16_t)0x30

Last post by misra-c « Mon Jun 01, 2020 2:16 pm
Replies: 1
by grunwald » Thu Apr 09, 2020 5:37 pm

1 Replies

1613 Views

Last post by misra-c
Mon Jun 01, 2020 2:16 pm
10.3 "promoted type" of controlling expression

Last post by misra-c « Tue Mar 31, 2020 9:17 am
Replies: 1
by grunwald » Thu Feb 27, 2020 2:45 pm

1 Replies

1545 Views

Last post by misra-c
Tue Mar 31, 2020 9:17 am
Rule 10.6 An expression shall not be assigned to a wider type

Last post by misra-c « Mon Feb 03, 2020 1:53 pm
Replies: 1
by LordMordac » Mon Jan 27, 2020 11:47 pm

1 Replies

1519 Views

Last post by misra-c
Mon Feb 03, 2020 1:53 pm
Rule 10.1: Essentially Boolean operands with & or | bitwise operators

Last post by misra-c « Wed Nov 27, 2019 11:49 am
Replies: 3
by suruena » Tue Oct 08, 2019 12:16 pm

3 Replies

2139 Views

Last post by misra-c
Wed Nov 27, 2019 11:49 am
Rule 10.3 - Bitfield narrower essential type

Last post by misra-c « Wed Nov 27, 2019 9:54 am
Replies: 1
by apereira » Thu Oct 24, 2019 7:01 am

1 Replies

1598 Views

Last post by misra-c
Wed Nov 27, 2019 9:54 am
10.8 Violation understanding details

Last post by misra-c « Thu Feb 14, 2019 12:29 pm
Replies: 1
by ashutosh.parate » Thu Jan 17, 2019 3:18 pm

1 Replies

2165 Views

Last post by misra-c
Thu Feb 14, 2019 12:29 pm
Conversions outside of the essential type categories

Last post by misra-c « Thu Oct 18, 2018 2:29 pm
Replies: 1
by gdavis » Wed Jul 11, 2018 12:26 am

1 Replies

2697 Views

Last post by misra-c
Thu Oct 18, 2018 2:29 pm
10.3 Clarification on assigning unsigned literal to signed

Last post by misra-c « Thu Oct 18, 2018 2:25 pm
Replies: 3
by michael.metivier » Mon Feb 08, 2016 2:54 pm

3 Replies

4922 Views

Last post by misra-c
Thu Oct 18, 2018 2:25 pm
semantic type checks

Last post by misra-c « Thu Oct 04, 2018 11:21 am
Replies: 1
by danielmarjamaki » Tue May 22, 2018 2:46 pm

1 Replies

2173 Views

Last post by misra-c
Thu Oct 04, 2018 11:21 am
why adding #define contsants for initializing a const is breaking rule 10.3 ?

Last post by misra-c « Thu Oct 04, 2018 10:58 am
Replies: 5
by alaini » Fri Sep 14, 2018 8:28 am

5 Replies

3643 Views

Last post by misra-c
Thu Oct 04, 2018 10:58 am
10.1 the calculation "50 << 3U" looks safe to me

Last post by misra-c « Fri Jun 08, 2018 8:38 am
Replies: 5
by danielmarjamaki » Tue May 22, 2018 2:38 pm

5 Replies

3697 Views

Last post by misra-c
Fri Jun 08, 2018 8:38 am
Essential type of integer constant expression of rank greater than unsigned int; interaction with addition to char

Last post by misra-c « Tue Jan 30, 2018 10:20 am
Replies: 3
by abgs » Tue Sep 19, 2017 5:14 pm

3 Replies

3466 Views

Last post by misra-c
Tue Jan 30, 2018 10:20 am
essential type of constant expression

Last post by misra-c « Tue Jan 30, 2018 9:33 am
Replies: 1
by sowiso » Tue Sep 26, 2017 1:01 pm

1 Replies

3281 Views

Last post by misra-c
Tue Jan 30, 2018 9:33 am
-32768 on 16-bit targets

Last post by misra-c « Thu Mar 30, 2017 8:27 am
Replies: 1
by grunwald » Tue Feb 14, 2017 6:00 pm

1 Replies

3332 Views

Last post by misra-c
Thu Mar 30, 2017 8:27 am
Rule 10.3, conversion of constant expression

Last post by misra-c « Fri Dec 09, 2016 9:07 am
Replies: 6
by Motozo Mario Ikeda » Thu Oct 20, 2016 12:30 am

6 Replies

5180 Views

Last post by misra-c
Fri Dec 09, 2016 9:07 am
Rule 10.3, conversion from complex types to real floating types

Last post by misra-c « Mon Jun 27, 2016 1:23 pm
Replies: 5
by satoshi » Wed May 11, 2016 8:40 am

5 Replies

5604 Views

Last post by misra-c
Mon Jun 27, 2016 1:23 pm
Essential type of constant expressions

Last post by misra-c « Thu Feb 18, 2016 8:49 am
Replies: 1
by roberto » Sun Dec 27, 2015 5:06 pm

1 Replies

5243 Views

Last post by misra-c
Thu Feb 18, 2016 8:49 am
10.5 Iterating over an enum

Last post by dermiem « Thu Nov 26, 2015 10:52 am
Replies: 2
by dermiem » Thu Oct 29, 2015 4:32 pm

2 Replies

5006 Views

Last post by dermiem
Thu Nov 26, 2015 10:52 am
Rule 10.3 Does exception 1 apply to case labels?

Last post by misra-c « Fri Nov 06, 2015 11:40 am
Replies: 1
by grunwald » Thu Oct 15, 2015 1:30 pm

1 Replies

4395 Views

Last post by misra-c
Fri Nov 06, 2015 11:40 am
10.3 and essential type of & expression

Last post by misra-c « Thu Oct 29, 2015 3:08 pm
Replies: 1
by lovewar » Thu Oct 15, 2015 6:54 am

1 Replies

4002 Views

Last post by misra-c
Thu Oct 29, 2015 3:08 pm
8.10.3 Is ~ operator composite?

Last post by misra-c « Thu Jun 25, 2015 8:56 am
Replies: 1
by miyanom » Thu Jun 04, 2015 3:27 am

1 Replies

4393 Views

Last post by misra-c
Thu Jun 25, 2015 8:56 am
10.3 and storing enums in integers

Last post by misra-c « Thu Mar 26, 2015 3:26 pm
Replies: 3
by psusi » Fri Feb 27, 2015 8:54 pm

3 Replies

5481 Views

Last post by misra-c
Thu Mar 26, 2015 3:26 pm
Essential type of enumerated constants

Last post by misra-c « Thu Mar 26, 2015 3:15 pm
Replies: 2
by psusi » Fri Mar 06, 2015 2:47 pm

2 Replies

4484 Views

Last post by misra-c
Thu Mar 26, 2015 3:15 pm
C90: Bitfield as essential boolean type

Last post by misra-c « Fri Mar 13, 2015 8:57 am
Replies: 1
by nunterberg » Tue Mar 03, 2015 4:00 pm

1 Replies

4032 Views

Last post by misra-c
Fri Mar 13, 2015 8:57 am
What is the essential type of -123L?

Last post by misra-c « Tue Feb 17, 2015 1:28 pm
Replies: 1
by misra-c » Tue Feb 17, 2015 1:26 pm

1 Replies

3834 Views

Last post by misra-c
Tue Feb 17, 2015 1:28 pm
8.10.3 Are increment operator composite?

Last post by misra-c « Fri Feb 13, 2015 10:14 am
Replies: 1
by misra-c » Fri Feb 13, 2015 10:13 am

1 Replies

3711 Views

Last post by misra-c
Fri Feb 13, 2015 10:14 am
Rule 10.2 Are increment/decrement compliant

Last post by misra-c « Fri Feb 13, 2015 10:03 am
Replies: 1
by misra-c » Fri Feb 13, 2015 10:01 am

1 Replies

3849 Views

Last post by misra-c
Fri Feb 13, 2015 10:03 am
Clarification of Composite Expressions and casts

Last post by misra-c « Fri Dec 19, 2014 1:13 pm
Replies: 1
by rgamble » Wed Dec 03, 2014 2:45 pm

1 Replies

4481 Views

Last post by misra-c
Fri Dec 19, 2014 1:13 pm
Essential Type of preprocessing statement

Last post by misra-c « Fri Dec 05, 2014 1:51 pm
Replies: 1
by misra-c » Fri Dec 05, 2014 1:47 pm

1 Replies

4179 Views

Last post by misra-c
Fri Dec 05, 2014 1:51 pm
Essential type of wchar_t?

Last post by misra-c « Fri Dec 05, 2014 9:20 am
Replies: 1
by sca2012 » Fri Nov 21, 2014 3:18 pm

1 Replies

4502 Views

Last post by misra-c
Fri Dec 05, 2014 9:20 am
Essential rank of variabls and constants

Last post by misra-c « Fri Dec 05, 2014 9:19 am
Replies: 1
by sca2012 » Thu Nov 20, 2014 6:47 pm

1 Replies

4086 Views

Last post by misra-c
Fri Dec 05, 2014 9:19 am
Rule 10.1 Small integer type operands of bitwise operators

Last post by jeromeb « Mon Nov 10, 2014 8:27 am
Replies: 2
by jeromeb » Fri Oct 10, 2014 8:11 am

2 Replies

5494 Views

Last post by jeromeb
Mon Nov 10, 2014 8:27 am
Rule 10.5 cast of enum to boolean

Last post by misra-c « Thu Oct 09, 2014 9:37 am
Replies: 1
by misra-c » Thu Oct 09, 2014 9:36 am

1 Replies

4483 Views

Last post by misra-c
Thu Oct 09, 2014 9:37 am
Essential Type of parenthesised expression

Last post by misra-c « Fri Apr 11, 2014 8:50 am
Replies: 1
by misra-c » Fri Apr 11, 2014 8:47 am

1 Replies

4678 Views

Last post by misra-c
Fri Apr 11, 2014 8:50 am
Essential Type of an Expression Clarification

Last post by misra-c « Mon Mar 31, 2014 1:38 pm
Replies: 1
by gs » Fri Feb 14, 2014 7:50 pm

1 Replies

4670 Views

Last post by misra-c
Mon Mar 31, 2014 1:38 pm
Clarification of Rationale for Rule 10.8

Last post by misra-c « Fri Dec 13, 2013 9:00 am
Replies: 1
by ogawa.kiyoshi » Thu Dec 12, 2013 7:13 am

1 Replies

4743 Views

Last post by misra-c
Fri Dec 13, 2013 9:00 am
Clarification of Exception for Rule 10.4

Last post by misra-c « Tue Nov 12, 2013 12:43 pm
Replies: 2
by rgamble » Thu Sep 26, 2013 9:24 pm

2 Replies

6165 Views

Last post by misra-c
Tue Nov 12, 2013 12:43 pm
Essential Type Category of Complex Floating Types?

Last post by misra-c « Thu Sep 12, 2013 10:04 am
Replies: 1
by gs » Thu Jun 27, 2013 6:11 pm

1 Replies

5852 Views

Last post by misra-c
Thu Sep 12, 2013 10:04 am
Floating point test for equality

Last post by misra-c « Mon Jul 01, 2013 1:21 pm
Replies: 1
by richardb » Wed Jun 26, 2013 12:16 pm

1 Replies

5536 Views

Last post by misra-c
Mon Jul 01, 2013 1:21 pm

New Topic

44 topics • Page 1 of 1

Return to Board Index

Forum permissions

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum