On Tue, Sep 02, 2014 at 11:05:19PM +0200, Gabriel Kerneis wrote: > On Tue, Sep 02, 2014 at 02:19:12AM -0700, Ahmad Nouralizadeh wrote: > > And after that memory usage started to increase until I ran out of memory! > > Only a guess: try adding the switch --useLogicalOperators, it avoids > expansion of switch range statements.
Sorry, the correct flag is --useCaseRange (but --useLogicalOperators is useful too on large pieces of code). -- Gabriel ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that matters. http://tv.slashdot.org/ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
