lourenco/mgmt
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lang: funcs: core: fmt: Add an additional invariant to printf

Browse Source 
This adds an invariant for printf that I might have missed. It may be
redundant, or it may help.
This commit is contained in:
James Shubin
2021-05-11 03:23:33 -04:00
parent efcc4291a3
commit c5c2364ed4
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
lang/funcs/core/fmt/printf_func.go
View File

@@ -111,6 +111,16 @@ func (obj *PrintfFunc) Unify(expr interfaces.Expr) ([]interfaces.Invariant, erro
return nil, fmt.Errorf("unable to build function with no args")
}
var invariants []interfaces.Invariant
var invar interfaces.Invariant
// first arg must be a string
invar = &interfaces.EqualsInvariant{
Expr: cfavInvar.Args[0],
Type: types.TypeStr,
}
invariants = append(invariants, invar)
value, err := cfavInvar.Args[0].Value() // is it known?
if err != nil {
return nil, fmt.Errorf("format string is not known statically")
@@ -130,8 +140,6 @@ func (obj *PrintfFunc) Unify(expr interfaces.Expr) ([]interfaces.Invariant, erro
ordered := []string{formatName}
mapped[formatName] = dummyFormat
var invariants []interfaces.Invariant
var invar interfaces.Invariant
for i, x := range typList {
argName, err := obj.ArgGen(i + 1) // skip 0th
if err != nil {