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) {
5454 // it is hard to tell when a struct or array has been initialized, so we
5555 // ignore them
5656 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
5858 not lv .getType ( ) .hasName ( "va_list" ) and
5959 va = lv .getAnAccess ( ) and
6060 noDefPath ( lv , va ) and
@@ -72,7 +72,7 @@ predicate uninitialisedGlobal(GlobalVariable gv) {
7272 va .isRValue ( ) and
7373 not gv .hasInitializer ( ) and
7474 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
7676 )
7777}
7878
You can’t perform that action at this time.
0 commit comments