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

1150 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

3859 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

1154 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

1121 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

969 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

1511 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

1176 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

1739 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

2220 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

4336 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

1749 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

2866 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

2901 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

2935 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

2838 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

2868 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

4211 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

4864 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

4802 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

4509 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

3998 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

3594 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

3990 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

4896 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

4073 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

3636 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

3454 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

3326 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

3499 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

4058 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

3827 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

4133 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

3637 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

5002 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

4066 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

4316 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

4318 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

4413 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

5664 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

5375 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

5119 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