-
take into account that varinfos can stem from kernel functions (namely if we take their address), and that they are supposed to be declared before we see them, so that we don't have to compare their types and attributes at each use, but just check the entries in the environment (either local or global depending on vglob).
take into account that varinfos can stem from kernel functions (namely if we take their address), and that they are supposed to be declared before we see them, so that we don't have to compare their types and attributes at each use, but just check the entries in the environment (either local or global depending on vglob).
