Changeset 0497b6ba

Timestamp:

Dec 15, 2024, 10:14:13 PM (2 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

d344a63, f9a0dd0

Parents:

a16f2b6

Message:

update tests for attribute and semantic warnings

Location:

tests

Files:

• .expect/attr-priority.txt (modified) (1 diff)
• .expect/attributes.x64.txt (modified) (1 diff)
• attributes.cfa (modified) (2 diffs)
• warnings/.expect/self-assignment.txt (modified) (4 diffs)

tests/.expect/attr-priority.txt

@@ -1 @@
-attr-priority.cfa:7:1 warning: invalid attribute: constructor priorities from 101 to 200 are reserved for the implementation
-attr-priority.cfa:12:1 warning: invalid attribute: destructor priorities from 101 to 200 are reserved for the implementation
+attr-priority.cfa:7:1 warning: invalid attribute: constructor priorities from 101 to 200 are reserved for the implementation.
+attr-priority.cfa:12:1 warning: invalid attribute: destructor priorities from 101 to 200 are reserved for the implementation.
 attr-priority.cfa:8:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: malloc

tests/.expect/attributes.x64.txt

@@ -1337 +1337 @@
     return _X4_retS3Vad_1;
 }
+__attribute__ (( noreturn )) void _X4fredFv___1(void){
+    __attribute__ ((unused)) signed int _X1ii_2;
+    switch ( 3 ) {
+        case 2:
+            {
+                {
+                    ((void)4);
+                }
+
+            }
+        case 1:
+            {
+                {
+                    ((void)3);
+                }
+
+            }
+    }
+
+}
+__attribute__ ((noreturn)) void _X4maryFv___1(void){
+    struct __attribute__ ((aligned(64))) S {
+        signed int _X1ii_2;
+    };
+    inline void _X12_constructorFv_S1S_autogen___2(__attribute__ ((unused)) struct S *_X4_dstS1S_2){
+        {
+            ((void)((*_X4_dstS1S_2)._X1ii_2) /* ?{} */);
+        }
+
+    }
+    inline void _X12_constructorFv_S1SS1S_autogen___2(__attribute__ ((unused)) struct S *_X4_dstS1S_2, __attribute__ ((unused)) struct S _X4_srcS1S_2){
+        {
+            ((void)((*_X4_dstS1S_2)._X1ii_2=_X4_srcS1S_2._X1ii_2) /* ?{} */);
+        }
+
+    }
+    inline void _X11_destructorFv_S1S_autogen___2(__attribute__ ((unused)) struct S *_X4_dstS1S_2){
+        {
+            ((void)((*_X4_dstS1S_2)._X1ii_2) /* ^?{} */);
+        }
+
+    }
+    inline struct S _X16_operator_assignFS1S_S1SS1S_autogen___2(__attribute__ ((unused)) struct S *_X4_dstS1S_2, __attribute__ ((unused)) struct S _X4_srcS1S_2){
+        __attribute__ ((unused)) struct S _X4_retS1S_2;
+        {
+            ((void)((*_X4_dstS1S_2)._X1ii_2=_X4_srcS1S_2._X1ii_2));
+        }
+
+        {
+            ((void)_X12_constructorFv_S1SS1S_autogen___2((&_X4_retS1S_2), (*_X4_dstS1S_2)));
+        }
+
+        return _X4_retS1S_2;
+    }
+    inline void _X12_constructorFv_S1Si_autogen___2(__attribute__ ((unused)) struct S *_X4_dstS1S_2, signed int _X1ii_2){
+        {
+            ((void)((*_X4_dstS1S_2)._X1ii_2=_X1ii_2) /* ?{} */);
+        }
+
+    }
+    __attribute__ ((unused)) signed int _X1ii_2;
+    switch ( 3 ) {
+        case 2:
+            {
+                {
+                    ((void)4);
+                }
+
+            }
+        case 1:
+            {
+                {
+                    ((void)3);
+                }
+
+            }
+    }
+
+}

tests/attributes.cfa

@@ -10 +10 @@
 // Created On       : Mon Feb  6 16:07:02 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb 23 20:33:07 2023
-// Update Count     : 39
+// Last Modified On : Sun Dec 15 17:45:39 2024
+// Update Count     : 49
 // 
 
@@ -162 +162 @@
 };
 
+[[ noreturn ]] void fred() {
+        int [[unused]] i;
+        switch ( 3 ) {
+          case 2:
+                4;
+//              __attribute__(( fallthrough ))
+//              [[fallthrough]]
+          case 1:
+                3;
+        }
+}
+
+@[ noreturn ] void mary() {
+        @[aligned(64)] struct S { int i; };
+        int @[unused] i;
+        switch ( 3 ) {
+          case 2:
+                4;
+//              __attribute__(( fallthrough ))
+//              [[fallthrough]]
+          case 1:
+                3;
+        }
+}
+
 // Local Variables: //
 // tab-width: 4 //

tests/warnings/.expect/self-assignment.txt

@@ -7 +7 @@
   reference to signed int
 ... with resolved type:
-  reference to signed int
+  reference to signed int.
 warnings/self-assignment.cfa:30:1 warning: self assignment of expression: Generated Cast of:
   Variable Expression: s: instance of struct S with body
@@ -15 +15 @@
   reference to instance of struct S with body
 ... with resolved type:
-  reference to instance of struct S with body
+  reference to instance of struct S with body.
 warnings/self-assignment.cfa:31:1 warning: self assignment of expression: Generated Cast of:
   Member Expression, with field:
@@ -28 +28 @@
   reference to signed int
 ... with resolved type:
-  reference to signed int
+  reference to signed int.
 warnings/self-assignment.cfa:32:1 warning: self assignment of expression: Generated Cast of:
   Member Expression, with field:
@@ -46 +46 @@
   reference to signed int
 ... with resolved type:
-  reference to signed int
+  reference to signed int.