Discussion :

[gorgonite]

Bonjour,


J'ai encore un problème avec mon analyseur de code en F#... le module d'analyser segfault avec les optimisations standards (-O2), mais pas en -O1

quelles sont les "structures" que je devrais surveiller en priorité ?

A priori, ça vient des cross module optimizations

le seul module n'étant pas dans la librairie standard que j'utilise est celui sur les intervalles... http://www.developpez.net/forums/sho...89&postcount=2

[LLB]

Un segfault n'est jamais normal.

Si tu peux donner un bout de code qui génère un segfault, ça nous permettra de t'aider.

[gorgonite]

Si tu peux donner un bout de code qui génère un segfault, ça nous permettra de t'aider.

ce module est justement le seul que je dois garder "secret" jusqu'à publication... il s'agit d'un analyseur de Karr un peu particulier

mais en gros, j'ai des fonctions récursives faisant des match, et dans ses matches j'ai des accès aux propriétés Up et Low de mes intervalles. Rien d'extraordinaire

Est-ce qu'on récupérer la liste exhaustive des optimisations faites par F# ?

[gorgonite]

pour infos, le problème ne survient pas avec FSharp 1.9.4.15, malheureusement le zip fournit sur le site Microsoft contient un fichier (fsc) qui refuse l'utilisation avec Mono sous Linux

donc sous Linux, je me retrouve avec la version 1.9.3.7, et là au-dessus de -O1 ça plante... ou alors le problème vient de Mono

[LLB]

J'ai eu des problèmes avec la version 1.9.4.15 aussi. Il faut ajouter le flag "--runtime=v2.0.50727" pour exécuter fscp10.exe. En revanche, je n'ai pas encore réussi à utiliser le mode interactif.

[gorgonite]

J'ai eu des problèmes avec la version 1.9.4.15 aussi. Il faut ajouter le flag "--runtime=v2.0.50727" pour exécuter fscp10.exe. En revanche, je n'ai pas encore réussi à utiliser le mode interactif.

j'ai essayé, mais cela ne suffit pas... apparemment, quelqu'un a eu le même problème sur la mailing-list f#

[gorgonite]

pour infos, ce problème avait lieu avec tous les modules en dll... mais avec la compilation statique, tout va bien avec toutes les optimisations possibles