Meaning
Cannot assign through a non-pointer dereference.
Compiler layer
Pointer safety
← Error ExplorerVERIFIED
DIAGNOSTIC · POINTER SAFETY
E212 Cannot assign through a non-pointer dereference
The diagnostic rejects an invalid write through a value that is not a writable pointer.
Evidence
tests/integration/Pointer_Not_Safety_E212.avs
Evidence reference from the reviewed project corpus. A reference indicates a related exercised scenario; it does not imply complete coverage of the diagnostic family.
Related documentation
Open language › memory documentation →Related diagnostics
Related evidence
TRACEABILITY
Related Evidence
Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.