On Thu, Oct 7, 2010 at 10:05 AM, Sebastian Redl <[email protected]> wrote: > On 07.10.2010 15:06, Francois Pichet wrote: >> On Thu, Oct 7, 2010 at 8:37 AM, Sebastian Redl >> <[email protected]> wrote: >> >>> On 07.10.2010 14:28, Francois Pichet wrote: >>> >>>> Hi >>>> >>>> This is my patch for the Microsoft Intrinsics. For now, I would prefer >>>> to just add the Intrinsics that don't require function prototypes. >>>> At least we can handle parsing of Microsoft code. >>>> >>>> ok to commit? >>>> >>>> >>>> >>> Test cases? I realize they would be trivial, but they should be there. >>> >> right >> >> > Looks good to go to me. > > One thing that we might want to look at (but I don't see it as an > impediment to checking this in) is that __assume(false) is a very > typical MSVC incantation meaning "unreachable", which has effects on > warnings, e.g. fall-of-non-void warnings. We should probably support > this usage. > > Sebastian
Full __assume(expr) support should be rather easy to implement. Just codegen if(!expr) unreachable; _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
