PWR080: Improve code examples

By enforcing PWR003 and PWR007.

Author: alvrogd

Checks/PWR080/README.md

@@ -66,8 +66,8 @@ typedef enum {
   OPTION_UNKNOWN,
 } TransformOption;
 
-double transform_and_sum(const double *array, size_t size,
-                         TransformOption option) {
+__attribute__((pure)) double transform_and_sum(const double *array, size_t size,
+                                               TransformOption option) {
   double sum = 0.0;
 
   double factor;
@@ -146,6 +146,7 @@ the specified transformation:
 ! example.f90
 
 module options
+  implicit none
   integer, parameter :: OPTION_HALF   = 1
   integer, parameter :: OPTION_DOUBLE = 2
   integer, parameter :: OPTION_UNKNOWN = 3
@@ -163,7 +164,7 @@ program main
 
 contains
 
-  real(kind=real32) function transform_and_sum(array, option)
+  pure real(kind=real32) function transform_and_sum(array, option)
     implicit none
 
     real(kind=real32), intent(in) :: array(:)

Checks/PWR080/example.c

@@ -8,8 +8,8 @@ typedef enum {
   OPTION_UNKNOWN,
 } TransformOption;
 
-double transform_and_sum(const double *array, size_t size,
-                         TransformOption option) {
+__attribute__((pure)) double transform_and_sum(const double *array, size_t size,
+                                               TransformOption option) {
   double sum = 0.0;
 
   double factor;

Checks/PWR080/example.f90

@@ -1,6 +1,7 @@
 ! PWR080: Conditionally initialized variables can lead to undefined behavior
 
 module options
+  implicit none
   integer, parameter :: OPTION_HALF   = 1
   integer, parameter :: OPTION_DOUBLE = 2
   integer, parameter :: OPTION_UNKNOWN = 3
@@ -18,7 +19,7 @@ program main
 
 contains
 
-  real(kind=real32) function transform_and_sum(array, option)
+  pure real(kind=real32) function transform_and_sum(array, option)
     implicit none
 
     real(kind=real32), intent(in) :: array(:)

Checks/PWR080/solution.c

@@ -8,8 +8,8 @@ typedef enum {
   OPTION_UNKNOWN,
 } TransformOption;
 
-double transform_and_sum(const double *array, size_t size,
-                         TransformOption option) {
+__attribute__((pure)) double transform_and_sum(const double *array, size_t size,
+                                               TransformOption option) {
   double sum = 0.0;
 
   // Identity transformation by default

Checks/PWR080/solution.f90

@@ -1,6 +1,7 @@
 ! PWR080: Conditionally initialized variables can lead to undefined behavior
 
 module options
+  implicit none
   integer, parameter :: OPTION_HALF   = 1
   integer, parameter :: OPTION_DOUBLE = 2
   integer, parameter :: OPTION_UNKNOWN = 3
@@ -18,7 +19,7 @@ program main
 
 contains
 
-  real(kind=real32) function transform_and_sum(array, option)
+  pure real(kind=real32) function transform_and_sum(array, option)
     implicit none
 
     real(kind=real32), intent(in) :: array(:)