Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie does not have "-jessie-no-regions" option anymore?

  • Subject: [Frama-c-discuss] Jessie does not have "-jessie-no-regions" option anymore?
  • From: apolkhanov at (Alexei Polkhanov)
  • Date: Wed, 12 May 2010 10:13:27 -0700

It appears that latest version of Jessie plugin does not support
"-jessie-no-regions" option anymore. If I understand right this option was
introduced to control whenever it is acceptable to have multiple pointer
variables to reference same location in memory? Has it been decided that
some default value should always be used instead or it was replaced by some
heuristics? Manual for Jessie plugin still refer to the option so I am
wondering what happen?
Alexei Polkhanov
Cell: 1.604.719.2515
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>