search for: call_impur

...i.e., code that doesn't require operating system interactions) and other library that can have both pure code and side-effecting code. I was was wondering if it's possible to achieve this by adding something like __attribute__((annotate("pure"))) and __attribute__((annotate("call_impure"))) and how much effort will it be to add such a functionality. Basically, I want "pure" attribute to be sticky, in the sense that every function that's pure, can only call pure code unless explicitly marked inside the function to make impure call. For example, the following cod...

...operating system interactions) and other library that can >> have both pure code and side-effecting code. >> >> I was was wondering if it's possible to achieve this by adding something >> like __attribute__((annotate("pure"))) and __attribute__((annotate("call_impure"))) >> and how much effort will it be to add such a functionality. Basically, I >> want "pure" attribute to be sticky, in the sense that every function that's >> pure, can only call pure code unless explicitly marked inside the function >> to make impure...