Fix #14340 FN containerOutOfBounds with std::initializer_list (danmar#8059)

Co-authored-by: chrchr-github <[email protected]>

Author: chrchr-github

cfg/std.cfg

@@ -9009,6 +9009,16 @@ initializer list (7) string& replace (const_iterator i1, const_iterator i2, init
   <container id="stdBasicStringView" startPattern="std :: basic_string_view &lt;" inherits="stdAllStringView">
     <type templateParameter="0"/>
   </container>
+  <container id="stdInitializerList" startPattern="std :: initializer_list &lt;" endPattern="&gt; !!::" opLessAllowed="false" itEndPattern="&gt; :: iterator|const_iterator" hasInitializerListConstructor="true">
+    <type templateParameter="0"/>
+    <size>
+      <function name="size" yields="size" returnType="std::size_t"/>
+    </size>
+    <access>
+      <function name="begin" yields="start-iterator"/>
+      <function name="end" yields="end-iterator"/>
+    </access>
+  </container>
   <container id="stdStringView" startPattern="std :: string_view|wstring_view|u16string_view|u32string_view" endPattern="" inherits="stdAllStringView"/>
   <container id="stdExperimentalStringView" startPattern="std :: experimental :: string_view|wstring_view|u16string_view|u32string_view" endPattern="" inherits="stdAllStringView"/>
   <container id="stdExperimentalBasicStringView" startPattern="std :: experimental :: basic_string_view &lt;" inherits="stdBasicStringView" />

lib/checkother.cpp

@@ -1513,6 +1513,8 @@ void CheckOther::commaSeparatedReturnError(const Token *tok)
 static bool isLargeContainer(const Variable* var, const Settings& settings)
 {
     const ValueType* vt = var->valueType();
+    if (vt->container->startPattern == "std :: initializer_list <")
+        return false;
     if (vt->container->size_templateArgNo < 0)
         return true;
     const std::size_t maxByValueSize = 2 * settings.platform.sizeof_pointer;

test/cfg/std.cpp

@@ -5307,3 +5307,15 @@ void containerOutOfBounds_std_string(std::string &var) { // #11403
     // TODO cppcheck-suppress containerOutOfBounds
     var+= s5[3];
 }
+
+int containerOutOfBounds_std_initializer_list_access(const std::vector<int>& v) {
+    // cppcheck-suppress containerOutOfBounds
+    return v[2];
+}
+
+int containerOutOfBounds_std_initializer_list() { // #14340
+    std::initializer_list<int> x{ 1, 2 };
+    // cppcheck-suppress derefInvalidIterator
+    int i = *x.end();
+    return i + containerOutOfBounds_std_initializer_list_access(x);
+}