Open Bug 1698027 Opened 5 years ago Updated 4 years ago

Fix building CFG in MustReturnFromCallerChecker

Categories

(Developer Infrastructure :: Source Code Analysis, task, P3)

Product:
Developer Infrastructure
Component:
Source Code Analysis
Type:
task

Tracking

(Not tracked)

People

(Reporter: sg, Unassigned)

References

Details

Bug 1666307 fixed an assertion failure in MustReturnFromCallerChecker, but the solution is only a workaround, which might lead to false-negatives. Per https://bugzilla.mozilla.org/show_bug.cgi?id=1666307#c5:

I don't think the logic of building the CFG is correct or at least we are missing something when we match things by not correlating containing-lambda/containing-func with call.

Priority: -- → P3
Product: Firefox Build System → Developer Infrastructure
You need to log in before you can comment on or make changes to this bug.