Function dmd.chkformat.checkPrintfFormat
Check that arguments to a printf format string are compatible with that string. Issue errors for incompatibilities.
bool checkPrintfFormat
(
ref const(dmd .globals .Loc) loc,
scope const(char[]) format,
scope Expression[] args,
bool isVa_list
);
Follows the C99 specification for printf.
Takes a generous, rather than strict, view of compatiblity. For example, an unsigned value can be formatted with a signed specifier.
Diagnosed incompatibilities are:
1. incompatible sizes which will cause argument misalignment
2. deferencing arguments that are not pointers
3. insufficient number of arguments
4. struct arguments
5. array and slice arguments
6. non-pointer arguments to s
specifier
7. non-standard formats
8. undefined behavior per C99
Per the C Standard, extra arguments are ignored.
No attempt is made to fix the arguments or the format string.
Parameters
Name | Description |
---|---|
loc | location for error messages |
format | format string |
args | arguments to match with format string |
isVa_list | if a "v" function (format check only) |
Returns
true
if errors occurred
References
C99 7.19.6.1
http
//www.cplusplus.com/reference/cstdio/printf/