Bug #1129
closed
C back-end fails to process float casting
Added by Evgeny Novikov about 13 years ago.
Updated almost 5 years ago.
Description
An example of the given failure can be found here aspectator-tests/wildcard/any_params.c. It isn't important issue since it's most likely that kernel doesn't contain such problems.
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
- Subject changed from C backend fails to process float casting to C back-end fails to process float casting
- Category set to C back-end
- Priority changed from Normal to Low
- Status changed from Open to Rejected
I guess that #6761 duplicated this issue though the given issue description is too imprecise to reason accurately as well as to proceed to it.
Also available in: Atom
PDF