8.10 The essential type model

Moderators: misra-c, david ward

New Topic

41 topics • Page 1 of 1

Topics

Replies

Views

Last post

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

1610 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

4262 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

1450 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

1391 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

1346 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

1920 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

1446 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

2005 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

2531 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

4700 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

2025 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

3327 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

3388 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

3275 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

3116 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

3189 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

4873 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

5327 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

5076 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

4817 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

4252 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

3860 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

4263 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

5255 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

4327 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

3888 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

3686 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

3560 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

3714 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

4353 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

4053 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

4365 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

3945 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

5291 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

4343 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

4552 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

4535 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

4610 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

5996 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

5706 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

5393 Views

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

New Topic

41 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