Premium: Update --help output and manual for --premium-license-file and --premium-cert-c-int-precision options (danmar#7755)

Author: danmar

cli/cmdlineparser.cpp

@@ -1895,10 +1895,15 @@ void CmdLineParser::printHelp() const
             "                         To check all files, append \":all\" i.e. --premium=misra-c++-2023:all.\n"
             "                         Other:\n"
             "                          * bughunting        Soundy analysis\n"
-            "                          * cert-c-int-precision=BITS  Integer precision to use in Cert C analysis.\n"
             "                          * metrics           Calculate metrics. Metrics are only reported in xmlv3 output.\n"
             "                          * safety            Turn on safety certified behavior (ON by default)\n"
-            "                          * safety-off        Turn off safety certified behavior\n";
+            "                          * safety-off        Turn off safety certified behavior\n"
+            "    --premium-cert-c-int-precision=BITS\n"
+            "                         Integer precision to use in Cert C analysis. Only needed if precision of 'int' is\n"
+            "                         less than the size of 'int'. BITS shall be a positive value that is less than the\n"
+            "                         size of 'int'. This precision is used for INT35-C checking.\n"
+            "    --premium-license-file=<path>\n"
+            "                         Provide license file path with argument.\n";
     }
 
     oss <<

man/manual-premium.md

@@ -1342,6 +1342,17 @@ https://www.cppcheck.com/plans-pricing
 This is described on the Cppcheck Premium website:
 https://www.cppcheck.com
 
+### License file path
+
+There are predefined paths where the premium addon search for license files. If you want to
+provide an arbitrary license file path on the command line you can use the option
+`--premium-license-file`. Example:
+
+    cppcheck --premium-license-file=path/to/file.lic test.cpp
+
+If an explicit path is provided like this then premium addon does not search for license
+files in the predefined paths.
+
 ### Troubleshooting
 
 If your license does not work you can get some details about the license validation by executing