//Guidelines for the use of the C++14 language in critical and safety-related systems
const char* msg="Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(33)A5-0-2.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.

#include "autosar.h"/// @line add header file https://qiita.com/kaizen_nagoya/items/4bde8f21ab059b96cf2a
#include <cstdint>


using namespace std;/// @line add using

///start AUTOSAR: From here to the "///end AUTOSAR" is from AUTOSAR without code having /// comment in line.
// $Id: A5-0-2.cpp 271927 2017-03-24 12:01:35Z piotr.tanski $
#include <cstdint>
#include <memory>
extern std::int32_t* fn();
extern std::int32_t fn2();
extern bool fn3();
void f() noexcept(false)
{
  std::int32_t* ptr = nullptr;

  while ((ptr = fn()) != nullptr) // Compliant
  {
// Code
  }

// The following is a cumbersome but compliant example
  do
  {
    std::int32_t* ptr = fn();

    if (nullptr == ptr)
    {
      break;
    }

// Code
  } while (true); // Compliant

  std::unique_ptr<std::int32_t> uptr;
  if (!uptr) // Compliant - std::unique_ptr defines an explicit conversion to
// type bool.
  {
// Code
  }

  while (std::int32_t length = fn2()) // Compliant by exception
  {
// Code
  }

  while (bool flag = fn3()) // Compliant
  {
// Code
  }

  if (std::int32_t* ptr = fn())
    ; // Compliant by exception

  if (std::int32_t length = fn2())
    ; // Compliant by exception

  if (bool flag = fn3())
    ; // Compliant

  std::uint8_t u = 8;

  if (u)
    ; // Non-compliant

  bool boolean1 = false;
  bool boolean2 = true;

  if (u && (boolean1 <= boolean2))
    ; // Non-compliant

  for (std::int32_t x = 10; x; --x)
    ; // Non-compliant
}
///end AUTOSAR
int start() { /// @{} for start
  fn();
  cout<< msg << endl;
  ShutdownOS()  EXIT_SUCCESS;
/// Autosar OS 3.1.1, 2009: 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.
}

#include "autosar.h"/// @line add header file https://qiita.com/kaizen_nagoya/items/4bde8f21ab059b96cf2a
using namespace std;/// @line add using

int32_t i=256;

int32_t* fn() {
  int32_t* ip=&i;
  cout <<"ip="<<ip<<endl;
  return ip;
}
int32_t fn2() {
  cout <<"i="<<i<<endl;
  return i;
}
bool fn3() {
  cout<<"fn3:bool"<<(i>0) <<endl;
  return (i>0);
}

$ ../cpa2.sh a5-0-2 a5-0-2a 
$ clang++ a5-0-2.cpp a5-0-2a.cpp  -std=c++14 -Wall
ip=0x10a0c9100
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp
rm: a5-0-2l13: No such file or directory
$ clang++ a5-0-2.cpp  a5-0-2a.cpp  -std=c++17 -Wall
ip=0x10c0e3100
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp
$ clang++ a5-0-2.cpp  a5-0-2a.cpp  -std=c++2a -Wall
ip=0x1072c1100
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp

$ g++-8 a5-0-2.cpp a5-0-2a.cpp  -std=c++14  -Wall
a5-0-2.cpp: In function 'void f()':
a5-0-2.cpp:50:22: warning: unused variable 'length' [-Wunused-variable]
  while (std::int32_t length = fn2()) // Compliant by exception
                      ^~~~~~
a5-0-2.cpp:55:14: warning: unused variable 'flag' [-Wunused-variable]
  while (bool flag = fn3()) // Compliant
              ^~~~
a5-0-2.cpp:60:20: warning: unused variable 'ptr' [-Wunused-variable]
  if (std::int32_t* ptr = fn())
                    ^~~
a5-0-2.cpp:63:19: warning: unused variable 'length' [-Wunused-variable]
  if (std::int32_t length = fn2())
                   ^~~~~~
a5-0-2.cpp:66:11: warning: unused variable 'flag' [-Wunused-variable]
  if (bool flag = fn3())
           ^~~~
ip=0x10b088130
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp
$ g++-8 a5-0-2.cpp a5-0-2a.cppp -std=c++17  -Wall
a5-0-2.cpp: In function 'void f()':
a5-0-2.cpp:50:22: warning: unused variable 'length' [-Wunused-variable]
  while (std::int32_t length = fn2()) // Compliant by exception
                      ^~~~~~
a5-0-2.cpp:55:14: warning: unused variable 'flag' [-Wunused-variable]
  while (bool flag = fn3()) // Compliant
              ^~~~
a5-0-2.cpp:60:20: warning: unused variable 'ptr' [-Wunused-variable]
  if (std::int32_t* ptr = fn())
                    ^~~
a5-0-2.cpp:63:19: warning: unused variable 'length' [-Wunused-variable]
  if (std::int32_t length = fn2())
                   ^~~~~~
a5-0-2.cpp:66:11: warning: unused variable 'flag' [-Wunused-variable]
  if (bool flag = fn3())
           ^~~~
ip=0x10e199130
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp
$ g++-8 a5-0-2.cpp a5-0-2a.cppp -std=c++2a  -Wall
a5-0-2.cpp: In function 'void f()':
a5-0-2.cpp:50:22: warning: unused variable 'length' [-Wunused-variable]
  while (std::int32_t length = fn2()) // Compliant by exception
                      ^~~~~~
a5-0-2.cpp:55:14: warning: unused variable 'flag' [-Wunused-variable]
  while (bool flag = fn3()) // Compliant
              ^~~~
a5-0-2.cpp:60:20: warning: unused variable 'ptr' [-Wunused-variable]
  if (std::int32_t* ptr = fn())
                    ^~~
a5-0-2.cpp:63:19: warning: unused variable 'length' [-Wunused-variable]
  if (std::int32_t length = fn2())
                   ^~~~~~
a5-0-2.cpp:66:11: warning: unused variable 'flag' [-Wunused-variable]
  if (bool flag = fn3())
           ^~~~
ip=0x103d4b130
Rule A5-0-2 (required, implementation, automated)The condition of an if-statement and the condition of an iteration statementshall have type bool.(32)A5-0-2.cpp