Guidelines for the use of the C++14 language in critical and
safety-related systems Sample code compile list(1)
https://www.autosar.org/fileadmin/user_upload/standards/adaptive/17-03/AUTOSAR_RS_CPP14Guidelines.pdf

Autosar Guidelines C++14 example code compile list
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76
https://github.com/kaizen-nagoya/cpp-compile-test/tree/master/AUTOSAR

#目的(purpose)
AutosarのC++ GuidelineをOS, 制御のプログラムで利用するにあたって、(1)hosted, freestandingのどちらを基本にすべきか。(2)C++2014,C++2017, C++202aのどれを用いると良いか, (3)どの処理系を併用すると良いかを検討するため、-std=c++14, -std=c++17, -std=c++2aの3種類で、複数のコンパイラでコンパイルすることにより、誤(error)、警告(warning)、関数・変数連携(link)、出力(output)、にどのような影響があるかを確認する。
#成果(outcome)
複数の処理系の特徴が明確になるとともに、各標準段階, hosted, freestandingの特徴と課題を明確にする。

A0-1-1.cpp

##算譜(source code)

A0-1-1.cpp

//Guidelines for the use of the C++14 language in critical and safety-related systems
const char* msg= "Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp";
//https://www.autosar.org/fileadmin/user_upload/standards/adaptive/17-03/AUTOSAR_RS_CPP14Guidelines.pdf
// There is no description about Autosar declear hosted or freestanding.
// If the Autosar intended both depending on the cases, autosar.h can choose one.
// Compile with -DHOSTED work as  hosted environment, -DFREESTANDING work as freestanding.

///start AUTOSAR: From here to the "///end AUTOSAR" is from AUTOSAR without code having /// comment in line.
//% $Id: A0-1-1.cpp 271687 2017-03-23 08:57:35Z piotr.tanski $
#include "autosar.h"/// add header file
#include <array>
#include <cstdint>

using namespace std;/// add using

std::uint8_t fn1(std::uint8_t param) noexcept
{
  std::int32_t x{
    0};  // Non-compliant - DU data flow anomaly; Variable defined,
// but not used
  cout <<endl<< "fn1:x="<< x << endl;
  if (param > 0)
  {
    return 1;
  }
  else
  {
    return 0;
  }
}
std::int32_t fn2() noexcept
{
  std::int8_t x{10U};  // Compliant - variable defined and will be used
  std::int8_t y{20U};  // Compliant - variable defined and will be used
  std::int16_t result = x + y;  // x and y variables used
  x = 0;  // Non-compliant - DU data flow anomaly; Variable defined, but x is
  // not subsequently used and goes out of scope
  y = 0;  // Non-compliant - DU data flow anomaly; Variable defined, but y is
// not subsequently used and goes out of scope
  return result;
}
std::int32_t fn3(std::int32_t param) noexcept
{
  std::int32_t x{param +
                 1};  // Compliant - variable defined, and will be used in
// one of the branches
// However, scope of x variable could be reduced
  if (param > 20)
  {
    return x;
  }
  return 0;
}
std::int32_t fn4(std::int32_t param) noexcept
{
  std::int32_t x{param +
                 1};  // Compliant - variable defined, and will be used in
  // some of the branches
  if (param > 20)
  {
    return x + 1;
  }
  else if (param > 10)
  {
    return x;
  }
  else
  {
    return 0;
  }
}
void fn5() noexcept
{
  std::array<std::int32_t, 100> arr{};
  arr.fill(1);
  constexpr std::uint8_t limit{100U};
  std::int8_t x{0};
  for (std::uint8_t i{0U}; i < limit; ++i)  // Compliant by exception - on the
// final loop, value of i defined will
// not be used
  {
    arr[i] = arr[x];
    ++x;  // Non-compliant - DU data flow anomaly on the final loop, value
    // defined and not used
  }
  cout <<endl<< "fn5:x="<< x<<endl;
}
///end AUTOSAR
int start() {
  uint8_t ui=120;
  int32_t i3= 255*255;
  cout << "fn1("<<ui<< ")=" <<fn1(ui)<<endl;;
  cout << "fn2()="<<fn2()<<endl;;
  cout << "fn3("<<i3<<")="<<fn3(i3)<<endl;
  cout << "fn4("<<i3*ui<<")="<<fn4(i3*ui)<<endl;
  fn5();
  cout<< msg << endl;
  ShutdownOS()  EXIT_SUCCESS;
/// Autosar OS 7.1.2.2 Undefined Behaviour in OSEK OS
/// OS425 If ShutdownOS is called and ShutdownHook() returns then the operating system shall disable all interrupts and enter an endless loop.
}

##編纂・実行結果(compile and go)

cpa.sh

$ ../cpa.sh a0-1-1
$ clang++ a0-1-1.cpp -std=c++14 -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp
$ clang++ a0-1-1.cpp -std=c++17 -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp
$ clang++ a0-1-1.cpp -std=c++2a -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp

$ g++-8 a0-1-1.cpp -std=c++14  -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp
$ g++-8 a0-1-1.cpp -std=c++17  -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp
$ g++-8 a0-1-1.cpp -std=c++2a  -Wall
fn1(x)=
fn1:x=0

fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp.cpp

Visual Studio 2017

>cl A0-1-1.cpp /EHsc
Microsoft(R) C/C++ Optimizing Compiler Version 19.15.26726 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

A0-1-1.cpp
Microsoft (R) Incremental Linker Version 14.15.26726.0
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:A0-1-1.exe
A0-1-1.obj

>A0-1-1.exe

fn1:x=0
fn1(x)=
fn2()=30
fn3(65025)=65026
fn4(7803000)=7803002

fn5:x=d
Rule A0-1-1 (required, implementation, automated) A project shall not contain instances of non-volatile variables being given values that are not subsequently used.(1) A0-1-1.cpp

Header file

autosar.h

#ifndef AUTOSAR_H
#define AUTOSAR_H

/// Autosar Specification of Operating System
/// https://www.autosar.org/fileadmin/user_upload/standards/classic/3-0/AUTOSAR_SWS_OS.pdf
/// The header file below are reserved by AUTOSAR
/// Os.h
/// Std_Types.h
/// Os_Cfg.h
/// MemMap.h

#ifndef FREESTANDING
#include <iostream>
#define start main
#define ShutdownOS() return
#else
#define EXIT_SUCCESS
#endif

#include <cstdlib>

#endif

///C++N4606 
///17.6.1.3 Freestanding implementations [compliance] p.465
///Table 17 — C++ headers for freestanding implementations
///Subclause Header(s)
/// ,, <ciso646>
///18.2, Types <cstddef>
///18.3, Implementation properties <cfloat> <limits> <climits>
///18.4, Integer types <cstdint>
///18.5, Start and termination <cstdlib>
///18.6, Dynamic memory management <new>
///18.7, Type identification <typeinfo>
///18.8, Exception handling <exception>
///18.9, Initializer lists <initializer_list>
///18.1,0 Other runtime support <cstdalign> <cstdarg> <cstdbool>
///20.15, Type traits <type_traits>
///29, Atomics <atomic>

///If there are other header files, freestanding enviroment or other library should be prepare alternative functions.

###実行命令

cpa.sh

cat ../cpa.sh
#!/bin/sh
echo "$ clang++ $1.cpp -std=c++14 -Wall"
clang++ $1.cpp -std=c++14 -I=. -Wall -o $1l14
if [  -e $1l14 ]; then
./$1l14 $2
rm $1l13
fi
echo "$ clang++ $1.cpp -std=c++17 -Wall"
clang++ $1.cpp -std=c++17 -I=. -Wall -o $1l17
if [  -e $1l17 ]; then
./$1l17 $2
rm $1l17
fi
echo "$ clang++ $1.cpp -std=c++2a -Wall"
clang++ $1.cpp -std=c++2a -I=. -Wall -o $1l2a
if [  -e $1l2a ]; then
./$1l2a $2
rm $1l2a
fi
echo "\r"
echo "$ g++-8 $1.cpp -std=c++14  -Wall"
g++-8 $1.cpp  -std=c++14 -I=. -Wall -o $1g14
if [  -e $1g14 ]; then
./$1g14 $2
rm $1g14
fi
echo "$ g++-8 $1.cpp -std=c++17  -Wall"
g++-8 $1.cpp  -std=c++17 -I=. -Wall -o $1g17
if [  -e $1g17 ]; then
./$1g17 $2
rm $1g17
fi
echo "$ g++-8 $1.cpp -std=c++2a  -Wall" 
g++-8 $1.cpp  -std=c++2a -I=. -Wall -o $1g2a
if [  -e $1g2a ]; then
./$1g2a $2
rm $1g2a
fi

検討事項(agenda)

1. 自律(freestanding)環境. 接待(hosted)環境

C++N4606 1.4 Implementation compliance p.4

2. 対応OSの水準、対応通信規約、応用機能による分類

freestanding用の関数、ライブラリ等

3. C++2014, C++2017, C++202aの比較項目

clang++2014が出力してないのはスクリプトの間違い。

4. clang++, g++の比較検討項目

現状なし

5. Visual Studio 2017 /Wall (警告)

visual studio 2017 autosar warning 一部
https://researchmap.jp/jox2zzdpw-1797580/#_1797580

visual studio 2017 autosar warning 全部
https://researchmap.jp/mud6rglqu-45645/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=177133&metadata_id=25961

参考文献(reference)

Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76

プログラミング言語教育のXYZ
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4
プログラミング言語教育のXYZ(youtube)
https://www.youtube.com/watch?v=He1_tg4px-w&t=486s

C++N4741 2018
Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4741.pdf

C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010

C++N4606 2016
Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf

C++N4606, 2016符号断片編纂一覧(example code compile list)
Working Draft 2016, ISO/IEC 14882(1)
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

CEDD(Compile Error Driven Design)
初めての　CEDD(Compile Error Driven Design) ８回直してコンパイル。
https://qiita.com/kaizen_nagoya/items/9494236aa1753f3fd1e1

コンパイルエラーを記録するとよい理由7つ
https://qiita.com/kaizen_nagoya/items/85c0e92b206883140e89

C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9

C言語（C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a

Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d

C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
https://qiita.com/kaizen_nagoya/items/a8d7ee2f2e29e76c19c1

コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da

[C][C++]の国際規格案の例題をコンパイルするときの課題７つ。
https://qiita.com/kaizen_nagoya/items/5f4b155030259497c4de

docker gnu(gcc/g++) and llvm(clang/clang++)
https://qiita.com/drafts/059874ea39c4de64c0f7

GitHub
https://github.com/kaizen-nagoya/cpp-compile-test/blob/master/AUTOSAR/RuleA0-1-1.md
https://github.com/kaizen-nagoya/cpp-compile-test/blob/master/AUTOSAR/A0-1-1.cpp

Coding Rules(0) C Secure , MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

docker(0) 資料集
https://qiita.com/kaizen_nagoya/items/45699eefd62677f69c1d

Qiita-dockerお宝鑑定団
https://qiita.com/kaizen_nagoya/items/509e125263559b5aed5b

The C++ Standard Library: clang++とg++でコンパイルしてみた(まとめ):14件
https://qiita.com/kaizen_nagoya/items/9bdfaa392443d13e5759

C++17 - The Complete Guide clang++とg++でコンパイルしてみた(まとめ):4件
https://qiita.com/kaizen_nagoya/items/c000f307e642990781e1

C++N3242, 2011, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/685b5c1a2c17c1bf1318

C++N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) Example code compile list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/

C++N4741, 2018 Standard Working Draft on ISO/IEC 14882 sample code compile list
https://qiita.com/kaizen_nagoya/items/3294c014044550896010

C++N4910:2022 Standard Working Draft on ISO/IEC 14882(0) sample code compile list
https://qiita.com/kaizen_nagoya/items/fc957ddddd402004bb91

Autosar Guidelines C++14 example code compile list(1-169)
https://qiita.com/kaizen_nagoya/items/8ccbf6675c3494d57a76

プログラマによる、プログラマのための、統計と確率のプログラミングとその後統計と確率一覧（０）
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴

ver. 0.10 初稿 20180606
ver. 0.11 一覧追記 20180613
ver. 0.12 参考文献欄追記 20180616
ver. 0.20 Visual Studio 2017追記　20180915
ver. 0.21 GitHub URL追記 20210213

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.