george.karpenkov added a comment.
@Szelethus I take it this is mostly formed from @NoQ email? Language could use
polishing in quite a few places, could I just commandeer this revision and try
to fix it?
================
Comment at: www/analyzer/open_projects.html:29
+ <li>Implement a dataflow flamework.
+ <p><!-- TODO: Explain. -->
+ <i> (Difficulty: Hard) </i></p>
----------------
NoQ wrote:
> @george.karpenkov your turn here.
Let's just skip it.
I suspect the explanation would not benefit here, because a large body of
assumed knowledge would be required to take on the project.
================
Comment at: www/analyzer/open_projects.html:314
+ bound the value of the resulting expression. Bonus points for handling
masks
+ followed by shifts, e.g. <code>($sym & 0b1100) >> 2</code>.
<i>(Difficulty: Easy)</i></p>
----------------
This is handled by Z3 invalidation, I'm not sure it's worth it spending much
effort here in the long run.
https://reviews.llvm.org/D53024
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
