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

894 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

233 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

896 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

1943 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

4792 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

1819 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

1725 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

1723 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

2421 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

1786 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

2380 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

2898 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

5175 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

2368 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

3973 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

4056 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

3727 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

3474 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

3522 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

5516 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

5925 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

5420 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

5204 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

4588 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

4167 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

4556 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

5718 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

4696 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

4221 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

4020 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

3903 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

4028 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

4663 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

4350 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

4680 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

4267 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

5725 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

4646 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

4827 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

4844 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

4911 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

6367 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

6052 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

5696 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