simplified sample code used to produce errors in tests (#7881)

Author: firewave

test/cli/other_test.py

@@ -2106,7 +2106,7 @@ def test_def_undef(tmp_path):
 void f()
 {
 #ifndef DEF_1
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 }
 """)
@@ -2124,7 +2124,7 @@ def test_def_undef(tmp_path):
         'Checking {}: DEF_1=1...'.format(test_file)  # TODO: should not print DEF_1 - see #13335
     ]
     assert stderr.splitlines() == [
-        '{}:5:16: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:5:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
 
 
@@ -2136,10 +2136,10 @@ def test_def_def(tmp_path):  # #13334
 void f()
 {
 #if DEF_1 == 3
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 #if DEF_1 == 7
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 }
 """)
@@ -2157,7 +2157,7 @@ def test_def_def(tmp_path):  # #13334
         'Checking {}: DEF_1=3;DEF_1=7...'.format(test_file)  # TODO: should not print DEF_1 twice - see #13335
     ]
     assert stderr.splitlines() == [
-        '{}:8:16: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:8:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
 
 
@@ -2169,7 +2169,7 @@ def test_def_undef_def(tmp_path):  # #13334
 void f()
 {
 #ifdef DEF_1
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 }
 """)
@@ -2188,7 +2188,7 @@ def test_def_undef_def(tmp_path):  # #13334
         'Checking {}: DEF_1=1;DEF_1=1...'.format(test_file)  # TODO: should not print DEF_1 twice - see #13335
     ]
     assert stderr.splitlines() == [
-        '{}:5:16: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:5:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
 
 
@@ -2199,7 +2199,7 @@ def test_undef(tmp_path):
 void f()
 {
 #ifndef DEF_1
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 }
 """)
@@ -2215,7 +2215,7 @@ def test_undef(tmp_path):
         'Checking {} ...'.format(test_file)
     ]
     assert stderr.splitlines() == [
-        '{}:5:16: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:5:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
 
 
@@ -2229,7 +2229,7 @@ def test_undef_src(tmp_path):  # #13340
 void f()
 {
 #ifdef DEF_1
-    {int i = *((int*)0);}
+    (void)(*((int*)0));
 #endif
 }
 """)
@@ -2245,7 +2245,7 @@ def test_undef_src(tmp_path):  # #13340
         'Checking {} ...'.format(test_file)
     ]
     assert stderr.splitlines() == [
-        '{}:7:16: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:7:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
 
 
@@ -2644,7 +2644,7 @@ def test_debug(tmp_path):
         f.write(
 """void f
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -2670,7 +2670,7 @@ def test_debug_xml(tmp_path):
         f.write(
 """void f
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -2712,7 +2712,7 @@ def test_debug_verbose(tmp_path):
         f.write(
 """void f
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -2739,7 +2739,7 @@ def test_debug_verbose_xml(tmp_path):
         f.write(
 """void f
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -2785,7 +2785,7 @@ def __test_debug_template(tmp_path, verbose=False, debug=False):
 """template<class T> class TemplCl;
 void f()
 {
-    (void)*((int*)nullptr);
+    (void)(*((int*)nullptr));
 }
 """)
 
@@ -2824,7 +2824,7 @@ def __test_debug_template(tmp_path, verbose=False, debug=False):
     else:
         assert stdout.count('### Template Simplifier pass ') == 1
     assert stderr.splitlines() == [
-        '{}:4:13: error: Null pointer dereference: (int*)nullptr [nullPointer]'.format(test_file)
+        '{}:4:14: error: Null pointer dereference: (int*)nullptr [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3429,7 +3429,7 @@ def __test_debug_normal(tmp_path, verbose):
         f.write(
 """void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -3457,7 +3457,7 @@ def __test_debug_normal(tmp_path, verbose):
         assert stdout.find('##AST') == -1
     assert stdout.find('### Template Simplifier pass ') == -1
     assert stderr.splitlines() == [
-        '{}:3:13: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:3:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3479,7 +3479,7 @@ def __test_debug_simplified(tmp_path, verbose):
         f.write(
 """void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -3501,7 +3501,7 @@ def __test_debug_simplified(tmp_path, verbose):
     assert stdout.find('##AST') == -1
     assert stdout.find('### Template Simplifier pass ') == -1
     assert stderr.splitlines() == [
-        '{}:3:13: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:3:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3522,7 +3522,7 @@ def __test_debug_symdb(tmp_path, verbose):
         f.write(
 """void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -3544,7 +3544,7 @@ def __test_debug_symdb(tmp_path, verbose):
     assert stdout.find('##AST') == -1
     assert stdout.find('### Template Simplifier pass ') == -1
     assert stderr.splitlines() == [
-        '{}:3:13: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:3:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3566,7 +3566,7 @@ def __test_debug_ast(tmp_path, verbose):
         f.write(
 """void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -3588,7 +3588,7 @@ def __test_debug_ast(tmp_path, verbose):
     assert stdout.find('##AST') != -1
     assert stdout.find('### Template Simplifier pass ') == -1
     assert stderr.splitlines() == [
-        '{}:3:13: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:3:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3609,7 +3609,7 @@ def __test_debug_valueflow(tmp_path, verbose):
         f.write(
 """void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)
 
@@ -3631,7 +3631,7 @@ def __test_debug_valueflow(tmp_path, verbose):
     assert stdout.find('##AST') == -1
     assert stdout.find('### Template Simplifier pass ') == -1
     assert stderr.splitlines() == [
-        '{}:3:13: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
+        '{}:3:14: error: Null pointer dereference: (int*)0 [nullPointer]'.format(test_file)
     ]
     return stdout
 
@@ -3653,7 +3653,7 @@ def test_debug_syntaxerror_c(tmp_path):
 template<class T> class TemplCl;
 void f()
 {
-    (void)*((int*)0);
+    (void)(*((int*)0));
 }
 """)