Fix #12748 FP arithOperationsOnVoidPointer with unique_ptr to array (#6420)

Author: chrchr-github

cfg/std.cfg

@@ -8655,19 +8655,16 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
     <use-retval/>
     <leak-ignore/>
     <noreturn>false</noreturn>
-    <returnValue type="void *"/>
   </function>
   <function name="std::auto_ptr::reset,std::shared_ptr::reset,std::unique_ptr::reset,std::weak_ptr::reset">
     <noreturn>false</noreturn>
     <arg nr="1" direction="in" default="0">
       <not-uninit/>
     </arg>
-    <returnValue type="void *"/>
   </function>
   <function name="std::auto_ptr::release,std::unique_ptr::release">
     <use-retval/>
     <noreturn>false</noreturn>
-    <returnValue type="void *"/>
   </function>
   <function name="std::tie">
     <noreturn>false</noreturn>

test/cfg/std.cpp

@@ -4948,6 +4948,12 @@ void smartPtr_get2(std::vector<std::unique_ptr<int>>& v)
     }
 }
 
+bool smartPtr_get3(size_t n, size_t i) { // #12748
+	std::unique_ptr<int[]> buf = std::make_unique<int[]>(n);
+	const int* p = buf.get() + i;
+	return p != nullptr;
+}
+
 void smartPtr_reset()
 {
     std::unique_ptr<int> p(new int());

test/testautovariables.cpp

@@ -3073,7 +3073,7 @@ class TestAutoVariables : public TestFixture {
               "    return ptr.get();\n"
               "}\n");
         ASSERT_EQUALS(
-            "[test.cpp:4] -> [test.cpp:3] -> [test.cpp:4]: (error) Returning pointer to local variable 'ptr' that will be invalid when returning.\n",
+            "[test.cpp:4] -> [test.cpp:3] -> [test.cpp:4]: (error) Returning object that points to local variable 'ptr' that will be invalid when returning.\n",
             errout_str());
 
         // #12600