Open Bug 1191540 Opened 10 years ago Updated 3 years ago

Static analysis: require that the return value of move is used to pass to an && overload

Categories

(Developer Infrastructure :: Source Code Analysis, defect)

Product:
Developer Infrastructure
Component:
Source Code Analysis
Version:
36 Branch
Type:
defect

Tracking

(Not tracked)

People

(Reporter: smaug, Unassigned)

References

Details

Attachments

(1 file)

Add an analysis to ensure the result of Move is passed to a function accepting an rvalue reference
14.73 KB, patch
Details | Diff | Splinter Review
Assignee: nobody → michael
http://logs.glob.uno/?c=mozilla%23content&s=5+Aug+2015&e=5+Aug+2015#c313398 (without the date, the log just shows nothing after that day)
This is a partially functioning version of the analysis. Unfortunately right now it has problems with templates, as they don't always have type information resolved. And I'm not completely sure how to fix those problems. I'm putting this patch on hold for a while because I'm not sure how feasible it is to get a fully working version.
Assignee: michael → nobody
Product: Core → Firefox Build System
Product: Firefox Build System → Developer Infrastructure
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: