File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -54,7 +54,7 @@ predicate undefinedLocalUse(VariableAccess va) {
54
54
// it is hard to tell when a struct or array has been initialized, so we
55
55
// ignore them
56
56
not isAggregateType ( lv .getUnderlyingType ( ) ) and
57
- not lv .isStatic ( ) and // static variables are initialized to zero or null by default
57
+ not lv .isStatic ( ) and // static variables are initialized to zero or null by default
58
58
not lv .getType ( ) .hasName ( "va_list" ) and
59
59
va = lv .getAnAccess ( ) and
60
60
noDefPath ( lv , va ) and
@@ -72,7 +72,7 @@ predicate uninitialisedGlobal(GlobalVariable gv) {
72
72
va .isRValue ( ) and
73
73
not gv .hasInitializer ( ) and
74
74
not gv .hasSpecifier ( "extern" ) and
75
- not gv .isStatic ( ) // static variables are initialized to zero or null by default
75
+ not gv .isStatic ( ) // static variables are initialized to zero or null by default
76
76
)
77
77
}
78
78
You can’t perform that action at this time.
0 commit comments