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 andrea96b1 « Mon Jul 06, 2020 8:44 am

by andrea96b1 » Mon Jul 06, 2020 8:44 am

0 Replies

26 Views

Last post by andrea96b1
Mon Jul 06, 2020 8:44 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

3160 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

647 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

660 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

454 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

924 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

701 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

1236 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

1741 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

3741 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

1286 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

2110 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

2195 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

2345 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

2335 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

2388 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

3430 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

4117 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

4375 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

3951 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

3553 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

3142 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

3513 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

4295 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

3558 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

3173 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

2997 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

2889 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

3072 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

3598 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

3415 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

3675 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

3137 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

4480 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

3555 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

3891 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

3878 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

3957 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

5204 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

4880 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

4728 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