Method mapGuardMissingAndReturnToFuncSite

inference/engine.go:152–173

mapGuardMissingAndReturnToFuncSite returns two maps: 1. A map with key being the function return site and value being the list of indices of guard-missing triggers matching the site. 2. A map with key being the function return site and value being the list of indices of return triggers matching the

(triggers []annotation.FullTrigger)

// 1. A map with key being the function return site and value being the list of indices of guard-missing triggers matching the site.
// 2. A map with key being the function return site and value being the list of indices of return triggers matching the site.
func (e *Engine) mapGuardMissingAndReturnToFuncSite(triggers []annotation.FullTrigger) (map[primitiveSite][]int, map[primitiveSite][]int) {
	mapSiteGuardMissing := make(map[primitiveSite][]int)
	mapSiteReturn := make(map[primitiveSite][]int)

	for i, trigger := range triggers {
		if p, ok := trigger.Producer.Annotation.(*annotation.GuardMissing); ok {
			if o, ok := p.OldAnnotation.(*annotation.FuncReturn); ok && o.IsFromRichCheckEffectFunc {
				site := e.primitive.site(o.UnderlyingSite(), p.Kind() == annotation.DeepConditional)
				mapSiteGuardMissing[site] = append(mapSiteGuardMissing[site], i)
			}
		}
	}

	for i, trigger := range triggers {
		if c, ok := trigger.Consumer.Annotation.(*annotation.UseAsReturn); ok && c.IsTrackingAlwaysSafe {
			site := e.primitive.site(c.UnderlyingSite(), c.Kind() == annotation.DeepConditional)
			mapSiteReturn[site] = append(mapSiteReturn[site], i)
		}
	}

	return mapSiteGuardMissing, mapSiteReturn
}

// ObservePackage observes all the annotations and assertions computed locally about the current
// package. The assertions are sorted based on whether they are already known to trigger without